Using formal methods for autonomous systems: Five recipes for formal verification
(2021)
Journal Article
Luckcuck, M. (2023). Using formal methods for autonomous systems: Five recipes for formal verification. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 237(2), 278-292. https://doi.org/10.1177/1748006X211034970
Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system’s behaviour. Autonomous systems use software to make decisions without human control, are... Read More about Using formal methods for autonomous systems: Five recipes for formal verification.