scientific article; zbMATH DE number 1499079
From MaRDI portal
Publication:4501131
Recommendations
Cited in
(21)- Tableau-based model checking in the propositional mu-calculus
- Local model checking for infinite state spaces
- On finite representations of infinite-state behaviours
- Revisiting MU puzzle: a case study in finite countermodels verification
- Proving the existence of fair paths in infinite-state systems
- Infinite-state invariant checking with IC3 and predicate abstraction
- Incompleteness of states w.r.t. traces in model checking
- scientific article; zbMATH DE number 1615252 (Why is no real title available?)
- scientific article; zbMATH DE number 1670767 (Why is no real title available?)
- Liveness checking as safety checking for infinite state spaces
- Formal Verification of Infinite-State BIP Models
- An automata-theoretic approach to infinite-state systems
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- scientific article; zbMATH DE number 1744958 (Why is no real title available?)
- Model checking the full modal mu-calculus for infinite sequential processes
- A proof theory for model checking: an extended abstract
- Generate \& check method for verifying transition systems in CafeOBJ
- Generalization strategies for the verification of infinite state systems
- Formal Methods for Components and Objects
- Computer Aided Verification
- Combating infinite state using Ergo
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501131)
