Formalisation and Analysis of Component Dependencies

Abstract

This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property.

Preprint with an extended introduction, Archive of Formal Proofs, 2014, ISSN: 2150-914x

Cited by in corpus (3)

• Formal specification of the FlexRay protocol using FocusST
• (Auto)Focus approaches and their applications: A systematic review
• Towards Logical Architecture and Formal Analysis of Dependencies Between Services