Computer Aided Verification
From MaRDI portal
Publication:5716589
DOI10.1007/b138445zbMath1081.68616OpenAlexW2507913385MaRDI QIDQ5716589
Stéphane Gaubert, Alexandru Costan, Sylvie Putot, Eric Goubault, Matthieu Martel
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (25)
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Unnamed Item ⋮ Template-Based Unbounded Time Verification of Affine Hybrid Automata ⋮ Fast and efficient bit-level precision tuning ⋮ A minimalistic look at widening operators ⋮ Descending chains and narrowing on template abstract domains ⋮ A sums-of-squares extension of policy iterations ⋮ Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case ⋮ Mathematical programming: Turing completeness and applications to software analysis ⋮ Computing Game Values for Crash Games ⋮ Abstract interpretation meets convex optimization ⋮ Tropical linear-fractional programming and parametric mean payoff games ⋮ Acceleration of the abstract fixpoint computation in numerical program analysis ⋮ Stability and convergence in discrete convex monotone dynamical systems ⋮ Improving Strategies via SMT Solving ⋮ Numerical invariants through convex relaxation and max-strategy iteration ⋮ Proving Termination by Policy Iteration ⋮ Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs ⋮ Unnamed Item ⋮ A zonotopic framework for functional abstractions ⋮ Narrowing Operators on Template Abstract Domains ⋮ Policy iteration in finite templates domain ⋮ Static Analysis by Abstract Interpretation: A Mathematical Programming Approach ⋮ Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing ⋮ Template polyhedra and bilinear optimization
Uses Software
This page was built for publication: Computer Aided Verification
