scientific article; zbMATH DE number 177515
From MaRDI portal
Publication:4037384
Recommendations
- scientific article; zbMATH DE number 177241
- scientific article; zbMATH DE number 1341481
- An incremental algorithm for generating all minimal models
- On Minimal Models
- On computing minimal models
- Modular construction of minimal models
- Graph-based construction of minimal models
- scientific article; zbMATH DE number 1614696
- Minimal model generation with positive unit hyper-resolution tableaux
- Minimal models of minimal theories
Cited in
(20)- scientific article; zbMATH DE number 177241 (Why is no real title available?)
- Minimal state graph generation
- On the expressiveness and decidability of o-minimal hybrid systems
- Terminating minimal model generation procedures for propositional modal logics
- Rank-based symbolic bisimulation: (and model checking)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- The algorithmic analysis of hybrid systems
- Discrete-time control for rectangular hybrid automata
- Equivalence checking 40 years after: a review of bisimulation tools
- Generation of minimum tree-like witnesses for existential CTL
- Abstraction and abstraction refinement
- An efficient algorithm for computing bisimulation equivalence
- Generating symbolic traces in the insertion modeling system
- Using heuristic search for finding deadlocks in concurrent systems
- Weighted o-minimal hybrid systems
- Modular construction of minimal models
- Bounded-memory algorithms for verification on-the-fly
- Minimisation and minimal realisation in Span(Graph)
- Simulation relations and applications in formal methods
- Hybrid automata with finite bisimulations
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 Q4037384)
