scientific article; zbMATH DE number 1277257

zbMATH Open0914.68135MaRDI QIDQ4239073FDOQ4239073

Authors: Olaf Müller 

Publication date: 20 April 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Title not available (Why is that?)
• Mechanizing a process algebra for network protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving invariants of I/O automata with TAME
• Translation templates to support strategy development in PVS
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS

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)