Author:
Amato Gianluca,Parton Maurizio,Scozzari Francesca
Subject
Computational Mathematics,Algebra and Number Theory
Reference50 articles.
1. Deriving numerical abstract domains via principal component analysis;Amato,2010
2. A tool which mines partial execution traces to improve static analysis;Amato,2010
3. Orthogonal simple component analysis: a new, exploratory approach;Anaya-Izquierdo;Annals of Applied Statistics,2011
4. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems;Bagnara;Science of Computer Programming,2008
5. A static analyzer for large safety-critical software;Blanchet,2003
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献