[isabelle] New AFP entry: Formalisation and Analysis of Component Dependencies



Formalisation and Analysis of Component Dependencies
Maria Spichkova

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.

http://afp.sourceforge.net/entries/ComponentDependencies.shtml





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.