scientific article; zbMATH DE number 1956594

MaRDI QIDQ4417940zbMATH OpenFDO

Authors Gianfranco Ciardo, Robert Marmorstein, Radu I. Siminiceanu

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190379.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1701768
• Correct Hardware Design and Verification Methods
• Exploiting interleaving semantics in symbolic state-space generation
• Symbolic CTL model checking of asynchronous systems using constrained saturation
• scientific article; zbMATH DE number 1324664

Cited in

(20)

• Correct Hardware Design and Verification Methods
• A database approach to distributed state space generation
• Saturation Enhanced with Conditional Locality: Application to Petri Nets
• Generic saturation
• scientific article; zbMATH DE number 7566051 (Why is no real title available?)
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Mathematical analysis and simulation of multiple keys and S-boxes in a multinode network for secure transmission
• Improving Saturation Efficiency with Implicit Relations
• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
• Exploiting interleaving semantics in symbolic state-space generation
• Symbolic CTL model checking of asynchronous systems using constrained saturation
• Symbolic Reachability Analysis of Integer Timed Petri Nets
• A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
• Unbounded rough drivers
• Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
• A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation
• Hierarchical Set Decision Diagrams and Regular Models
• A decision diagram operation for reachability
• Component-wise incremental LTL model checking
• Symbolic state-space exploration and numerical analysis of state-sharing composed models

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 Q4417940)