scientific article; zbMATH DE number 1746645

zbMATH Open0986.68063MaRDI QIDQ4530804FDOQ4530804

Stephan Merz

Publication date: 28 May 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

• HyTech
• Uppaal

   Recommendations

• Model checking. 👍 👎
• Title not available (Why is that?) 👍 👎
• Introduction to Model Checking 👍 👎
• Title not available (Why is that?) 👍 👎
• Model checking techniqes for the analysis of reactive systems 👍 👎

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)