Email Gateway (Aug 19 2022 at 14:14): Email Gateway (Aug 19 2022 at 14:14):From: Tobias Nipkow <nipkow@in.tum.de>
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
Last updated: Apr 26 2024 at 20:16 UTC