Paper Info
Title
Formal FocusST Specification of CAN.
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.
Year
Venue
DocType
2018
arXiv: Formal Languages and Automata Theory
Journal
Volume
Citations 
PageRank 
abs/1811.08128
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Maria Spichkova116015.29