scientific article; zbMATH DE number 5051652

zbMath1097.68074MaRDI QIDQ5486061

MacIej Szreter, Wojciech Penczek, Artur Niewiadomski, Franco Raimondi, Alessio Lomuscio, M. Kacprzak

Publication date: 6 September 2006

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

zbMATH Keywords

verificationbinary decision diagramsbounded model checkingSAT-solverdining cryptographers protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Specification and Verification of Multi-Agent Systems ⋮ Security invariants in discrete transition systems ⋮ Program semantics and verification technique for AI-centred programs ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

Uses Software

• VerICS

This page was built for publication: