scientific article; zbMATH DE number 2102717

zbMath1046.68577MaRDI QIDQ4818802

Justin Pearson, Wang Yi, Gerd Behrmann, Carsten Weise, Kim Guldstrand Larsen

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Unnamed Item ⋮ Model Checking Real-Time Systems ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Superposition as a decision procedure for timed automata ⋮ Reachability analysis for timed automata using max-plus algebra ⋮ Zero, successor and equality in BDDs ⋮ Improvements for the Symbolic Verification of Timed Automata ⋮ Hierarchical Set Decision Diagrams and Regular Models ⋮ A partial order semantics approach to the clock explosion problem of timed automata ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics ⋮ Towards Deriving Test Sequences by Model Checking

Uses Software

• Uppaal

This page was built for publication: