AI Chat AI Image Generator AI Video Text to Speech

Formal FocusST Specification of CAN

11/20/2018

∙

by Maria Spichkova, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 12/14/2017

Formal specification of the FlexRay protocol using FocusST

FlexRay is a communication protocol developed by the FlexRay Consortium....

0 Maria Spichkova, et al. ∙

research

∙ 10/05/2020

Specification of the Giskard Consensus Protocol

The Giskard consensus protocol is used to validate transactions and comp...

0 Elaine Li, et al. ∙

research

∙ 11/02/2015

Z Specification for the W3C Editor's Draft Core SHACL Semantics

This article provides a formalization of the W3C Draft Core SHACL Semant...

0 Arthur Ryman, et al. ∙

research

∙ 06/27/2022

A Formal Specification of Operating System based on ARINC 653

In this paper, by using the formal language Circus, we give a formal spe...

0 Ziyan Wang, et al. ∙

research

∙ 03/27/2018

A Formal TLS Handshake Model in LNT

Testing of network services represents one of the biggest challenges in ...

0 Josip Bozic, et al. ∙

research

∙ 07/26/2018

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

GenoM is an approach to develop robotic software components, which can b...

0 Mohammed Foughali, et al. ∙

research

∙ 07/25/2018

Specification-Based Protocol Obfuscation

This paper proposes a new obfuscation technique of a communication proto...

0 Julien Duchene, et al. ∙