scientific article; zbMATH DE number 1746649
From MaRDI portal
Publication:4530809
zbMATH Open0986.68883MaRDI QIDQ4530809FDOQ4530809
Authors: Hubert Garavel, Radu Mateescu, Irina M. Smarandache
Publication date: 9 June 2002
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (17)
- Dealing with practical limitations of distributed timed model checking for timed automata
- CTL model checking on a shared-memory architecture
- Distributed verification of multi-threaded C++ programs
- Distributed and predictable software model checking
- Measuring and evaluating parallel state-space exploration algorithms
- Verification, Model Checking, and Abstract Interpretation
- Hierarchical Adaptive State Space Caching Based on Level Sampling
- Model checking of biological systems
- Parallel Explicit Model Checking for Generalized Büchi Automata
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Title not available (Why is that?)
- Distributed branching bisimulation reduction of state spaces
- Load balancing parallel explicit state model checking
- A path construction algorithm for translation validation using PRES+ models
- A database approach to distributed state space generation
- Model Checking Software
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530809)