This paper presents a formal specification of the Controller Area Network (CAN) protocol using $$\textsc {Focus}^{ST}$$ framework. We formally describe core components of the protocol, which provides a basis for further formal analysis using the Isabelle/HOL theorem prover.
CITATION STYLE
Spichkova, M., & Simic, M. (2019). Towards Formal Specification of CAN Protocol. In Smart Innovation, Systems and Technologies (Vol. 145, pp. 469–478). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-981-13-8566-7_43
Mendeley helps you to discover research relevant for your work.