scientific article; zbMATH DE number 1701768
From MaRDI portal
zbMATH Open0978.68545MaRDI QIDQ2769596FDOQ2769596
Authors: Gianfranco Ciardo, Gerald Lüttgen, Radu I. Siminiceanu 
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310328
Title of this publication is not available (Why is that?)
Recommendations
- Exploiting interleaving semantics in symbolic state-space generation
- Symbolic Methods for the State Space Exploration of GSPN Models
- Partial-order reduction in symbolic state-space exploration
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Correct Hardware Design and Verification Methods
- Correct Hardware Design and Verification Methods
- Symbolic state-space exploration and numerical analysis of state-sharing composed models
- scientific article; zbMATH DE number 1696452
Cited In (21)
- Symbolic synthesis of masking fault-tolerant distributed programs
- Computing bottom SCCs symbolically using transition guided reduction
- Improving Saturation Efficiency with Implicit Relations
- A CTL* Model Checker for Petri Nets
- Correct Hardware Design and Verification Methods
- Measuring and evaluating parallel state-space exploration algorithms
- New search strategies for the Petri net CEGAR approach
- Saturation Enhanced with Conditional Locality: Application to Petri Nets
- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
- Symbolic state-space exploration and numerical analysis of state-sharing composed models
- Symbolic CTL model checking of asynchronous systems using constrained saturation
- Symbolic Reachability Analysis of Integer Timed Petri Nets
- Symbolic termination and confluence checking for ECA rules
- Title not available (Why is that?)
- A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation
- Title not available (Why is that?)
- Exploiting interleaving semantics in symbolic state-space generation
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Component-wise incremental LTL model checking
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
- A decision diagram operation for reachability
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 Q2769596)
