Formal FocusST Specification of CAN

Maria Spichkova

This paper presents a formal specification of the Controller Area Network (CAN) protocol using FocusST framework. We formally describe core components of the protocol, which provides a basis for further formal analysis using the Isabelle/HOL theorem prover.

Knowledge Graph



Sign up or login to leave a comment