scientific article

zbMath0974.68518MaRDI QIDQ2754085

Gerd Behrmann, Thomas Hune, Frits W. Vaandrager

Publication date: 11 November 2001

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

Model Checking of Biological Systems ⋮ How to stop time stopping ⋮ Improving Search Order for Reachability Testing in Timed Automata ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Dealing with practical limitations of distributed timed model checking for timed automata ⋮ CTL model checking on a shared-memory architecture ⋮ Unnamed Item ⋮ Distributed Verification of Multi-threaded C++ Programs ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

Uses Software

• Uppaal

This page was built for publication: