# Formalisation and Analysis of Component Dependencies

 Title: Formalisation and Analysis of Component Dependencies Author: Maria Spichkova (maria /dot/ spichkova /at/ rmit /dot/ edu /dot/ au) Submission date: 2014-04-28 Abstract: 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. BibTeX: @article{ComponentDependencies-AFP, author = {Maria Spichkova}, title = {Formalisation and Analysis of Component Dependencies}, journal = {Archive of Formal Proofs}, month = apr, year = 2014, note = {\url{https://isa-afp.org/entries/ComponentDependencies.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License