2014/05/13 by Maria Spichkova, Spichkova, Maria · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1405.3017
Preprint with an extended introduction, Archive of Formal Proofs, 2014, ISSN: 2150-914x
arxiv created 2014/05/13 · openalex publication_date 2014/05/13 · arxiv updated 2014/05/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.