SCJ-Circus: - Research Database, The University of York

By the same authors

Probabilistic modelling and verification using RoboChart and PRISM
Ye, K., Cavalcanti, A., Foster, S., Miyazawa, A. & Woodcock, J., 3 Oct 2021
Article in Software and Systems Modeling
RoboChart: modelling and verification of the functional behaviour of robotic applications
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, JAMES. C. P., 1 Oct 2019
Article in Software and Systems Modeling
SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019
Article in Science of Computer Programming
Verified simulation for robotics
Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print)
Article in Science of Computer Programming
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

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

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

Author(s)

Department/unit(s)

Computer Science

Publication details

Title of host publication	REFINE Workshop
Date	Published - 2015
Original language	Undefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data