-
Towards a Rule-level Verification Framework for Property-Preserving Graph Tra...
International audience -
On the Formal Verification of the FlexRay Communication Protocol
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our...
