Mixed Transition Systems Revisited

DOI10.1007/978-3-540-93900-9_28MaRDI QIDQ3600485zbMATH OpenOpenAlexFDO

Authors Ou Wei, Arie Gurfinkel, Marsha Chechik

Publication date 10 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-93900-9_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the consistency, expressiveness, and precision of partial modeling formalisms
• scientific article; zbMATH DE number 1759610
• scientific article; zbMATH DE number 1903350
• Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL
• scientific article; zbMATH DE number 1863177

Cited in

(6)

• Attributed transition systems with hidden transitions
• Multiplicative transition systems
• scientific article; zbMATH DE number 1059332 (Why is no real title available?)
• Modal transition systems with weight intervals
• On the consistency, expressiveness, and precision of partial modeling formalisms
• EXPTIME-completeness of thorough refinement on modal transition systems

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Mixed Transition Systems Revisited

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