LTL Generalized Model Checking Revisited
From MaRDI portal
Recommendations
Cited in
(19)- More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
- Semi-external LTL Model Checking
- scientific article; zbMATH DE number 1948409 (Why is no real title available?)
- Computer Science Logic
- A design of GPU-based quantitative model checking
- Model Checking LTL Formulae in RAISE with FDR
- On Decidability of LTL+Past Model Checking for Process Rewrite Systems
- 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
- Combining search space partition and abstraction for LTL model checking
- Multi-robot LTL planning under uncertainty
- On decidability of LTL model checking for process rewrite systems
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
- On the consistency, expressiveness, and precision of partial modeling formalisms
- scientific article; zbMATH DE number 7559425 (Why is no real title available?)
- Integrating topological proofs with model checking to instrument iterative design
- scientific article; zbMATH DE number 1670845 (Why is no real title available?)
- Model checking properties on reduced trace systems
- TOrPEDO : witnessing model correctness with topological proofs
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)
