Cited in
(only showing first 100 items - show all)- A complete proof system for propositional projection temporal logic
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- Structure-based deadlock checking of asynchronous circuits
- Dependences in strategy logic
- Syntax-directed model checking of sequential programs
- Dependences in strategy logic
- Automated analysis of mutual exclusion algorithms using CCS
- Real-Time Systems
- An efficient approach for abstraction-refinement in model checking
- Alternating automata: unifying truth and validity checking for temporal logics
- scientific article; zbMATH DE number 1759702 (Why is no real title available?)
- Automatic verification of timed concurrent constraint programs
- Augmenting ATL with strategy contexts
- Meanings of model checking
- Model checking of pushdown systems for projection temporal logic
- Two normal form theorems for CSP programs
- Sémantique asynchrone et comportements infinis en CPS
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Interrupt timed automata: verification and expressiveness
- scientific article; zbMATH DE number 1755146 (Why is no real title available?)
- Correct Hardware Design and Verification Methods
- rCOS: defining meanings of component-based software architectures
- Formal modelling, analysis and verification of hybrid systems
- Reasoning about networks with many identical finite state processes
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
- Characterizing finite Kripke structures in propositional temporal logic
- Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol
- Supervisory control and reactive synthesis: a comparative introduction
- A theory of formal synthesis via inductive learning
- scientific article; zbMATH DE number 7056237 (Why is no real title available?)
- Module checking
- Fifty years of Hoare's logic
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- scientific article; zbMATH DE number 2090156 (Why is no real title available?)
- scientific article; zbMATH DE number 1538014 (Why is no real title available?)
- scientific article; zbMATH DE number 1487862 (Why is no real title available?)
- Vacuity in practice: temporal antecedent failure
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- An automata-theoretic approach to infinite-state systems
- Automated formal analysis and verification: an overview
- Coverage metrics for temporal logic model checking
- Fairness and related properties in transition systems - a temporal logic to deal with fairness
- Symbolic model checking with rich assertional languages
- Explaining counterexamples using causality
- Priority scheduling of distributed systems based on model checking
- Enhanced vacuity detection in linear temporal logic.
- Temporal normal form for linear temporal logic formulae
- scientific article; zbMATH DE number 1059333 (Why is no real title available?)
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Before and after vacuity
- An automata-theoretic approach to branching-time model checking
- Combining symmetry reduction and under-approximation for symbolic model checking
- scientific article; zbMATH DE number 3917726 (Why is no real title available?)
- Combining model checking and testing
- Transfer of model checking to industrial practice
- Temporal logic and fair discrete systems
- Measuring and synthesizing systems in probabilistic environments
- Complete abstractions and subclassical modal logics
- On the unusual effectiveness of logic in computer science
- Solving parity games using an automata-based algorithm
- Probabilistic temporal logics via the modal mu-calculus
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- MCGP
- scientific article; zbMATH DE number 1670793 (Why is no real title available?)
- scientific article; zbMATH DE number 1705164 (Why is no real title available?)
- ALGOL 68
- Zing
- rCOS
- veriSoft
- CalFuzzer
- PREVAIL
- SLAM
- SPIN
- NuSMV
- LoLA
- Punf
- ARMC
- NeVer
- SCR
- Zap
- ADL
- Bandera
- jSpin
- Java PathFinder
- Cadence SMV
- Roboop
- Bebop
- Motras
- ConTest
- eVolCheck
- SATORI
- MIO Workbench
- dSPIN
- JPAX
- CCured
- TLC
- MOPS
- LTL2BA
- JPF-SE
- UNITY
This page was built for software: CESAR
