Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Attributed to:
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-02149-8_13
Publication URI: http://dx.doi.org/10.1007/978-3-030-02149-8_13
Type: Book Chapter
Book Title: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings (2018)
Page Reference: 205-224
ISSN: 2730-7700