The temporal boolean derivative applied to verification of extended finite state machines

DOI10.1016/0898-1221(95)00075-AMaRDI QIDQ1903776zbMATH OpenFDO

Authors E. Vandermeulen, H. A. Donegan, M. Larnac, J. Magnier

Publication date 12 December 1995

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(95)00075-A

zbMATH Keywords

finite state machinessequential machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 177500
• scientific article; zbMATH DE number 438994
• scientific article; zbMATH DE number 177240
• Symbolic model checking: \(10^{20}\) states and beyond
• scientific article; zbMATH DE number 3932379

This page was built for publication: The temporal boolean derivative applied to verification of extended finite state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903776)