scientific article
From MaRDI portal
Publication:2769596
zbMath0978.68545MaRDI QIDQ2769596
Gerald Lüttgen, Radu I. Siminiceanu, Gianfranco Ciardo
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310328
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Computing bottom SCCs symbolically using transition guided reduction ⋮ Symbolic Termination and Confluence Checking for ECA Rules ⋮ Exploiting interleaving semantics in symbolic state-space generation ⋮ New Search Strategies for the Petri Net CEGAR Approach ⋮ A CTL* Model Checker for Petri Nets ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ A decision diagram operation for reachability ⋮ Improving Saturation Efficiency with Implicit Relations ⋮ Saturation Enhanced with Conditional Locality: Application to Petri Nets ⋮ Symbolic state-space exploration and numerical analysis of state-sharing composed models ⋮ Component-wise incremental LTL model checking ⋮ Symbolic Reachability Analysis of Integer Timed Petri Nets ⋮ Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms
Uses Software
This page was built for publication:
