Formalisation and Analysis of Component Dependencies
Software Engineering
2014-05-14 v1
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.
Cite
@article{arxiv.1405.3017,
title = {Formalisation and Analysis of Component Dependencies},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1405.3017},
year = {2014}
}
Comments
Preprint with an extended introduction, Archive of Formal Proofs, 2014, ISSN: 2150-914x