Formal FocusST Specification of CAN
Formal Languages and Automata Theory
2018-11-21 v1 Software Engineering
Abstract
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.
Cite
@article{arxiv.1811.08128,
title = {Formal FocusST Specification of CAN},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1811.08128},
year = {2018}
}