scientific article; zbMATH DE number 1746649
From MaRDI portal
Publication:4530809
zbMath0986.68883MaRDI QIDQ4530809
Irina M. Smarandache, Hubert Garavel, Radu Mateescu
Publication date: 9 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Model Checking of Biological Systems ⋮ Dealing with practical limitations of distributed timed model checking for timed automata ⋮ CTL model checking on a shared-memory architecture ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ Unnamed Item ⋮ Hierarchical Adaptive State Space Caching Based on Level Sampling ⋮ Distributed and Predictable Software Model Checking ⋮ Distributed Verification of Multi-threaded C++ Programs ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms
Uses Software
This page was built for publication:
