scientific article; zbMATH DE number 1277257

MaRDI QIDQ4239073zbMATH OpenFDO

Authors Olaf Müller

Publication date 20 April 1999

zbMATH Keywords

input/output automata

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1301859
• Publication:4945212
• Proving invariants of I/O automata with TAME
• scientific article; zbMATH DE number 1973995
• Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions

Cited in

(8)

• scientific article; zbMATH DE number 1424022 (Why is no real title available?)
• Translation templates to support strategy development in PVS
• Mechanizing a process algebra for network protocols
• scientific article; zbMATH DE number 1973995 (Why is no real title available?)
• I/O automata in Isabelle/HOL
• scientific article; zbMATH DE number 139804 (Why is no real title available?)
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
• Proving invariants of I/O automata with TAME

Describes a project that uses

Uses Software

• Isabelle

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