Automating Verification of State Machines with Reactive Designs and Isabelle/UTP-Reference-Cited by-同舟云学术

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Published:2018 Issue: Volume: Page:137-155
ISSN:0302-9743
Container-title:Formal Aspects of Component Software
language:
Short-container-title:

Author:

Foster Simon^ORCID,Baxter James,Cavalcanti Ana,Miyazawa Alvaro,Woodcock Jim

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-02146-7_7

Reference27 articles.

1. Miyazawa, A., Ribieiro, P., Li, W., Cavalcanti, A., Timmis, J.: Automatic property checking of robotic applications. In: International Conference on Intelligent Robots and Systems (IROS), pp. 3869–3876. IEEE (2017)

2. Miyazawa, M., Cavalcanti, A., Ribeiro, P., Li, W., Woodcock, J., Timmis, J.: Robochart reference manual. Technical report, University of York (June 2018). https://cs.york.ac.uk/circus/RoboCalc/assets/robochart-reference.pdf

3. Hoare, T., He, J.: Unifying Theories of Programming. Prentice-Hall, London (1998)

4. Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for Circus. Form. Asp. Comput. 21, 3–32 (2009)

5. Lecture Notes in Computer Science,2002

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool;Autonomous Robots;2024-07-05

2. Deadlock-Free Verification of the SACI-1 OBC Using Circus Time Action and FDR;2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA);2024-05-19

3. On the Unification of Conformance Notions;Lecture Notes in Computer Science;2024

4. Semantics Formalisation – Modelling and Proving Strategies Using Event-B Versus Theories;Lecture Notes in Computer Science;2024

5. RoboWorld: Verification of Robotic Systems with Environment in the Loop;Formal Aspects of Computing;2023-11-20