Publication:2754085
From MaRDI portal
zbMath0974.68518MaRDI QIDQ2754085
Gerd Behrmann, Frits W. Vaandrager, Thomas Hune
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, 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