Computer Aided Verification
From MaRDI portal
Publication:5312894
DOI10.1007/b98490zbMath1103.68627MaRDI QIDQ5312894
Shuvendu K. Lahiri, Randal E. Bryant
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Handling Parameterized Systems with Non-atomic Global Conditions, Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems, Monotonic Abstraction in Action, Approximated parameterized verification of infinite-state processes with global conditions, Abstraction Refinement for Quantified Array Assertions, Verifying Reference Counting Implementations
Uses Software