Documents Related by Co-Citation

648 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
475 Z3: An efficient SMT solver – Leonardo de Moura, Nikolaj Bjørner - 2008
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
540 Learning regular sets from queries and counterexamples – D Angluin - 1987
603 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1546 Theory of Linear and Integer Programming – A Schrijver - 1986
663 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002