LTL Generalized Model Checking Revisited
From MaRDI portal
Recommendations
Cited in
(19)- On decidability of LTL model checking for process rewrite systems
- Model checking properties on reduced trace systems
- Multi-robot LTL planning under uncertainty
- TOrPEDO : witnessing model correctness with topological proofs
- A design of GPU-based quantitative model checking
- More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
- Combining search space partition and abstraction for LTL model checking
- scientific article; zbMATH DE number 1670845 (Why is no real title available?)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
- Semi-external LTL Model Checking
- Model Checking LTL Formulae in RAISE with FDR
- scientific article; zbMATH DE number 1948409 (Why is no real title available?)
- Integrating topological proofs with model checking to instrument iterative design
- scientific article; zbMATH DE number 7559425 (Why is no real title available?)
- On Decidability of LTL+Past Model Checking for Process Rewrite Systems
- Computer Science Logic
- On Decidability of LTL Model Checking for Process Rewrite Systems
- Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin
- On the consistency, expressiveness, and precision of partial modeling formalisms
This page was built for publication: LTL Generalized Model Checking Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600466)
