Computer Aided Verification
From MaRDI portal
Publication:5716583
DOI10.1007/b138445zbMath1081.68640OpenAlexW2507913385MaRDI QIDQ5716583
Constantinos Bartzis, Tevfik Bultan, Tuba Yavuz-Kahveci
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
Related Items (10)
Action language verifier: An infinite-state model checker for reactive software specifications ⋮ Learning to verify branching time properties ⋮ Highly dependable concurrent programming using design for verification ⋮ Using Bounded Model Checking to Verify Consensus Algorithms ⋮ Verification of consensus algorithms using satisfiability solving ⋮ Properties of a predicate transformer of the VRS system ⋮ Light-Weight SMT-based Model Checking ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Don't care words with an application to the automata-based approach for real addition ⋮ Automatic Verification of Directory-Based Consistency Protocols
This page was built for publication: Computer Aided Verification
