scientific article; zbMATH DE number 1956587

MaRDI QIDQ4417931zbMATH OpenFDO

Authors Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Półrola, MacIej Szreter, Bożena Woźna, Andrzej Zbrzezny

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190278.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 1507209
• Verified model checking of timed automata
• Verification of timed automata via satisfiability checking
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings

Cited in

(5)

• scientific article; zbMATH DE number 1670567 (Why is no real title available?)
• Specification and Verification of Multi-Agent Systems
• Model Checking Real-Time Systems
• Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Describes a project that uses

Uses Software

• SPIN
• NuSMV
• Verics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417931)