Computer Aided Verification
From MaRDI portal
Publication:5312938
DOI10.1007/B98490zbMATH Open1103.68644OpenAlexW4298302743MaRDI QIDQ5312938FDOQ5312938
Authors: Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar, Maria Sorea, Ashish 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
Recommendations
Cited In (25)
- SO(10)À LA PATI–SALAM
- Generalized rewrite theories, coherence completion, and symbolic methods
- Title not available (Why is that?)
- Progress in certifying hardware model checking results
- Title not available (Why is that?)
- Title not available (Why is that?)
- Z2SAL: a translation-based model checker for Z
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- Computer Aided Verification
- Model checking simulation rules for linearizability
- A Logic-Based Approach to Combinatorial Testing with Constraints
- Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems
- Alloy as a refactoring checker?
- Title not available (Why is that?)
- Linear temporal logic symbolic model checking
- Model checking RAISE applicative specifications
- SAL
- Title not available (Why is that?)
- Scaling up model-checking. A case-study
- Synthesis of large dynamic concurrent programs from dynamic specifications
- Combining Model Checking and Deduction
- A decidable timeout-based extension of linear temporal logic
- Title not available (Why is that?)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- An overview of the mCRL2 toolset and its recent advances
Uses Software
This page was built for publication: Computer Aided Verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312938)
