scientific article; zbMATH DE number 1973995

MaRDI QIDQ4422092zbMATH OpenFDO

Authors Andrej Bogdanov, Stephen J. Garland, Nancy Lynch

Publication date 3 September 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1301859
• scientific article; zbMATH DE number 1277257
• Verifying the LTL to Büchi automata translation via very weak alternating automata
• First-order temporal verification in practice

Cited in

(6)

• Mechanizing invariant proofs of joint action systems
• Translation templates to support strategy development in PVS
• A proof assistant for Alloy specifications
• scientific article; zbMATH DE number 1277257 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• I/O automata in Isabelle/HOL

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 Q4422092)