The York Research Database

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

Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Java in the Safety-Critical Domain

Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

From formalised state machines to implementation of robotic controllers

Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution