scientific article; zbMATH DE number 2064232

zbMath1111.68548MaRDI QIDQ4461759

Andrzej Zbrzezny, Bożena Woźna, Wojciech Penczek

Publication date: 18 May 2004

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

zbMATH Keywords

bounded model checkingforward reachability algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (2)

Static analysis and stochastic search for reachability problem ⋮ Bounded Model Checking with Parametric Data Structures

Uses Software

• SATO
• Chaff

This page was built for publication: