Bounded model checking for propositional projection temporal logic
From MaRDI portal
Recommendations
- PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic
- A canonical form based decision procedure and model checking approach for propositional projection temporal logic
- A symbolic model checker for propositional projection temporal logic
- Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata
- scientific article; zbMATH DE number 1956570
Cited in
(18)- PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic
- PPTL specification mining based on LNFG
- Linear templates of ACTL formulas with an application to SAT-based verification
- Model checking open systems with alternating projection temporal logic
- Model checking of pushdown systems for projection temporal logic
- Bounded model checking of traffic light control system
- Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\)
- BDD-based bounded model checking for temporal properties of 1-safe Petri nets
- A symbolic model checker for propositional projection temporal logic
- Symbolic model checking for alternating projection temporal logic
- Bounded satisfiability for PCTL
- scientific article; zbMATH DE number 2182497 (Why is no real title available?)
- Bounded semantics
- From Model Checking to a Temporal Proof for Partial Models
- Decidability of Propositional Projection Temporal Logic with Infinite Models
- Computer Aided Verification
- An approach to agent path planning under temporal logic constraints
- SAT-based bounded model checking for propositional projection temporal logic
This page was built for publication: Bounded model checking for propositional projection temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925273)
