Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Attributed to:
A Calculus for Software Engineering of Mobile and Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-02146-7_7
Publication URI: http://dx.doi.org/10.1007/978-3-030-02146-7_7
Type: Book Chapter
Book Title: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (2018)
Page Reference: 137-155