Symbolic model checking
From MaRDI portal
Recommendations
Cited in
(39)- A symbolic semantics for abstract model checking
- From pre-historic to post-modern symbolic model checking
- Symbolic model checking with sentential decision diagrams
- Computable fixpoints in well-structured symbolic model checking
- Exploiting interleaving semantics in symbolic state-space generation
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1670773 (Why is no real title available?)
- scientific article; zbMATH DE number 1701750 (Why is no real title available?)
- Explicit-symbolic modelling for formal verification
- Computing Information Flow Using Symbolic Model-Checking
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- BDD-based symbolic model checking
- Symbolic model checking in non-Boolean domains
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution
- Symbolic Model Checking for Dynamic Epistemic Logic
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
- A View from the Engine Room: Computational Support for Symbolic Model Checking
- AlPiNA: A Symbolic Model Checker
- scientific article; zbMATH DE number 1324662 (Why is no real title available?)
- scientific article; zbMATH DE number 1324664 (Why is no real title available?)
- scientific article; zbMATH DE number 1950556 (Why is no real title available?)
- scientific article; zbMATH DE number 1979553 (Why is no real title available?)
- scientific article; zbMATH DE number 2020179 (Why is no real title available?)
- Error detection with directed symbolic model checking
- Symbolic model checking with fewer fixpoint computations
- Feasibility analysis for robustness quantification by symbolic model checking
- An abstract dynamic access control architecture
- scientific article; zbMATH DE number 2086591 (Why is no real title available?)
- Symbolic Methods for the State Space Exploration of GSPN Models
- scientific article; zbMATH DE number 1863368 (Why is no real title available?)
- Improving BDD based symbolic model checking with isomorphism exploiting transition relations
- Symbolic model checking of public announcement protocols
- Application of Wu's method to symbolic model checking
- Model Checking Software
- Model Checking Software
- Implementation and Application of Automata
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Methods for Hardware Verification
- Structural symbolic CTL model checking of asynchronous systems.
This page was built for publication: Symbolic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503923)
