Formalisation and Analysis of Component Dependencies

Maria Spichkova 📧

April 28, 2014

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This set of theories presents a formalisation in Isabelle/HOL 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 are necessary to check a given property.


BSD License


Session ComponentDependencies