scientific article

zbMath1052.68087MaRDI QIDQ3146278

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

Publication date: 21 October 2002

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

zbMATH Keywords

Bounded Model Checking

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) Temporal logic (03B44)

Related Items (9)

SAT-Based Model Checking ⋮ Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bounded semantics ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ Bounded model checking for knowledge and real time ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ Bounded game-theoretic semantics for modal mu-calculus

Uses Software

• Chaff
• LTL2BA

This page was built for publication: