Computer Aided Verification
From MaRDI portal
Publication:5312904
DOI10.1007/b98490zbMath1103.68635OpenAlexW4298302743MaRDI QIDQ5312904
Reinhard Wilhelm, Mooly Sagiv, Thomas W. Reps
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Related Items
Bounded model checking of infinite state systems ⋮ A logic of reachable patterns in linked data-structures ⋮ Data structures for symbolic multi-valued model-checking ⋮ Monotonic Abstraction for Programs with Dynamic Memory Heaps ⋮ The Spotlight Principle ⋮ Verifying Reference Counting Implementations ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Non-disjunctive Numerical Domain for Array Predicate Abstraction ⋮ Abstraction Refinement for Quantified Array Assertions ⋮ Sorting Algorithms in MOQA
Uses Software