Computer Aided Verification
From MaRDI portal
Publication:5312938
DOI10.1007/B98490zbMath1103.68644OpenAlexW4298302743MaRDI QIDQ5312938
Natarajan Shankar, Maria Sorea, Leonardo de Moura, Sam Owre, John Rushby, Harald Ruess, Ashish Kumar Tiwari
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 (14)
Progress in certifying hardware model checking results ⋮ Combining Model Checking and Deduction ⋮ Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Model Checking Simulation Rules for Linearizability ⋮ A decidable timeout-based extension of linear temporal logic ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints ⋮ Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Linear temporal logic symbolic model checking ⋮ Model checking RAISE applicative specifications ⋮ Alloy as a Refactoring Checker? ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ A Logic-Based Approach to Combinatorial Testing with Constraints ⋮ SAL
Uses Software
This page was built for publication: Computer Aided Verification
