scientific article; zbMATH DE number 177248
From MaRDI portal
Publication:4037099
Recommendations
Cited in
(26)- Distributed breadth-first search LTL model checking
- Alternating automata: unifying truth and validity checking for temporal logics
- Optimized temporal monitors for SystemcC
- Partial-Order Reduction
- Survey on Directed Model Checking
- An explicit transition system construction approach to LTL satisfiability checking
- Analysing sanity of requirements for avionics systems
- Automata-Based Termination Proofs
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata
- Automated verification of parallel nested DFS
- On a class of timer hybrid systems reducible to finite state automata
- “On the fly” verification of behavioural equivalences and preorders
- On Locally Checkable Properties
- Hierarchical Adaptive State Space Caching Based on Level Sampling
- Checking timed Büchi automata emptiness efficiently
- Model checking of biological systems
- Flash memory efficient LTL model checking
- AutoHyper: explicit-state model checking for HyperLTL
- Explicit-state model checking
- GSTE is partitioned model checking
- From Philosophical to Industrial Logics
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring
- Checking timed Büchi automata emptiness using LU-abstractions
- Bounded-memory algorithms for verification on-the-fly
- scientific article; zbMATH DE number 177519 (Why is no real title available?)
- Using partial orders for the efficient verification of deadlock freedom and safety properties
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 Q4037099)
