scientific article; zbMATH DE number 1746645
zbMATH Open0986.68063MaRDI QIDQ4530804FDOQ4530804
Authors: Stephan Merz 
Publication date: 28 May 2002
Title of this publication is not available (Why is that?)
Recommendations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)
Cited In (18)
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- Partial model checking of modal equations: a survey
- Title not available (Why is that?)
- Formal sequentialization of distributed systems via program rewriting
- Title not available (Why is that?)
- On-the-fly emptiness check of transition-based Streett automata
- Automated formal analysis and verification: an overview
- Linear-Time Model Checking: Automata Theory in Practice
- Title not available (Why is that?)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models
- Process-centric views of data-driven business artifacts
- Computation tree logic and NuSMV model checker
- Towards deriving test sequences by model checking
- Model checking techniqes for the analysis of reactive systems
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- Learning assumptions for compositional verification of timed automata
- Model checking.
- The Beginning of Model Checking: A Personal Perspective
Uses Software
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 Q4530804)
