Mixed Transition Systems Revisited

DOI10.1007/978-3-540-93900-9_28zbMath1206.68194OpenAlexW2113686430MaRDI QIDQ3600485

Marsha Chechik, Ou Wei, Arie Gurfinkel

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)

Related Items (3)

On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ Modal transition systems with weight intervals ⋮ EXPTIME-completeness of thorough refinement on modal transition systems

Uses Software

• CUDD

This page was built for publication: Mixed Transition Systems Revisited