scientific article; zbMATH DE number 1956594

zbMath1031.68544MaRDI QIDQ4417940

Radu I. Siminiceanu, Robert Marmorstein, Gianfranco Ciardo

Publication date: 30 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (13)

Exploiting interleaving semantics in symbolic state-space generation ⋮ A decision diagram operation for reachability ⋮ Improving Saturation Efficiency with Implicit Relations ⋮ Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ Symbolic state-space exploration and numerical analysis of state-sharing composed models ⋮ Mathematical analysis and simulation of multiple keys and S-Boxes in a multinode network for secure transmission ⋮ Component-wise incremental LTL model checking ⋮ Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis ⋮ Symbolic Reachability Analysis of Integer Timed Petri Nets ⋮ Unnamed Item ⋮ Hierarchical Set Decision Diagrams and Regular Models ⋮ Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation ⋮ A Database Approach to Distributed State Space Generation

This page was built for publication: