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?)

Recommendations

• Model checking.
• scientific article; zbMATH DE number 910719
• Introduction to model checking
• scientific article; zbMATH DE number 2020179
• Model checking techniqes for the analysis of reactive systems

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 (16)

• 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
• 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
• 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

• HyTech
• Uppaal

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)