scientific article; zbMATH DE number 139804

MaRDI QIDQ4028131zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

automata-based compositional semanticshardware design and description language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1277257
• I/O automata in Isabelle/HOL
• scientific article; zbMATH DE number 1301859
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Logics and automata for verification: Expressiveness and decidability issues
• Efficiency of automata in semi-commutation verification techniques
• Boolean kernels of context-free languages
• Proving invariants of I/O automata with TAME
• Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV

Cited in

(2)

• scientific article; zbMATH DE number 139818 (Why is no real title available?)
• Semantics and Verification of a Language for Modelling Hardware Architectures

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