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

• I/O automata and beyond: Temporal logic and abstraction in Isabelle
• scientific article; zbMATH DE number 1424022
• 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

(9)

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

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)