SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts

DOI10.1007/978-3-540-71998-4_9zbMath1196.68144OpenAlexW1528122287MaRDI QIDQ3591066

Sara Van Langenhove, Albert Hoogewijs

Publication date: 10 September 2007

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71998-4_9

Mathematics Subject Classification ID

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

Related Items (1)

Next-preserving branching bisimulation

This page was built for publication: SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts