The following pages link to Computer Aided Verification (Q5716590):
Displaying 18 items.
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Simpler proofs with decentralized invariants (Q2043795) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Decision procedures for extensions of the theory of arrays (Q2457800) (← links)
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) (Q2461559) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Applications of hierarchical reasoning in the verification of complex systems (Q2864523) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)
- Static data structure lower bounds imply rigidity (Q5212837) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
