scientific article; zbMATH DE number 177515
From MaRDI portal
Publication:4037384
zbMATH Open0765.68114MaRDI QIDQ4037384FDOQ4037384
Authors: Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs 
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
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)
- Title not available (Why is that?)
- 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
- Equivalence checking 40 years after: a review of bisimulation tools
- Discrete-time control for rectangular hybrid automata
- The algorithmic analysis of hybrid systems
- 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
- Bounded-memory algorithms for verification on-the-fly
- Modular construction of minimal models
- 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)
