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.

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.

License

BSD License

Topics

Session ComponentDependencies

Cite

× 
@article{ComponentDependencies-AFP,
  author  = {Maria Spichkova},
  title   = {Formalisation and Analysis of Component Dependencies},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2014},
  note    = {\url{https://isa-afp.org/entries/ComponentDependencies.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: