scientific article; zbMATH DE number 5499372

zbMath1159.68021MaRDI QIDQ5506390

Andrzej Zbrzezny

Publication date: 28 January 2009

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

Related Items (2)

Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic

Uses Software

• MiniSat

This page was built for publication: