Keyword:abstract interpretation

Publications
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint 1906
Verifying Numerical Programs via Iterative Abstract Testing Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot EasyChair Preprint 1749
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint 1645
An abstract domain for objects in dynamic programming languages Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni EasyChair Preprint 1501
Program Analysis is Harder than Verification: A Computability Perspective Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato EasyChair Preprint 365
Automatic Detection of Vulnerable Variables for CTL Properties of Programs Naïm Moussaoui Remil, Caterina Urban and Antoine Miné In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification Marco Casadio, Luca Arnaboldi, Matthew Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser and Ekaterina Komendantskaya In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement Edoardo Manino, Bernardo Magri, Mustafa Mustafa and Lucas Cordeiro In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Analyzing JavaScript Programs Using Octagon Domain Nabil Almashfi and Lunjin Lu In:Proceedings of 34th International Conference on Computers and Their Applications
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Parametric Strategy Iteration Helmut Seidl, Thomas Martin Gawlitza and Martin Schwarz In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations Antoine Miné In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Abstract Interpretation over Zones without Widening Thomas Martin Gawlitza and Helmut Seidl In:WING 2010. Workshop on Invariant Generation 2010