scientific article; zbMATH DE number 1746649
From MaRDI portal
Publication:4530809
zbMATH Open0986.68883MaRDI QIDQ4530809FDOQ4530809
Irina M. Smarandache, Hubert Garavel, Radu Mateescu
Publication date: 9 June 2002
Title of this publication is not available (Why is that?)
Recommendations
- Effective state exploration for model checking on a shared memory architecture
- [[:Publication:5461616|Title not available (Why is that?)]]
- [[:Publication:5699478|Title not available (Why is that?)]]
- An experiment on parallel model checking of a CTL fragment
- To Parallelize or to Optimize?
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 (12)
- Dealing with practical limitations of distributed timed model checking for timed automata
- CTL model checking on a shared-memory architecture
- Model Checking of Biological Systems
- Distributed verification of multi-threaded C++ programs
- Measuring and evaluating parallel state-space exploration algorithms
- Hierarchical Adaptive State Space Caching Based on Level Sampling
- Parallel Explicit Model Checking for Generalized Büchi Automata
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Distributed and Predictable Software Model Checking
- Title not available (Why is that?)
- Distributed branching bisimulation reduction of state spaces
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
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)
