scientific article; zbMATH DE number 1746645
From MaRDI portal
Publication:4530804
zbMATH Open0986.68063MaRDI QIDQ4530804FDOQ4530804
Publication date: 28 May 2002
Title of this publication is not available (Why is that?)
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 (11)
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- Title not available (Why is that?)
- Formal sequentialization of distributed systems via program rewriting
- 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
- Towards deriving test sequences by model checking
- On-the-fly Emptiness Check of Transition-Based Streett Automata
- Learning assumptions for compositional verification of timed automata
- Model checking.
- The Beginning of Model Checking: A Personal Perspective
Uses Software
Recommendations
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)