Publication:2754085
From MaRDI portal
zbMath0974.68518MaRDI QIDQ2754085
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
Publication date: 11 November 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Model Checking of Biological Systems, How to stop time stopping, Zone-based verification of timed automata: extrapolations, simulations and what next?, 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, Improving Search Order for Reachability Testing in Timed Automata, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Uses Software