Interactive Chapter Mind Maps

Explore all fifteen chapters of the Verification and Validation Techniques notes as interactive radial mind maps.

title: “Interactive Chapter Mind Maps” pagetitle: “Interactive Chapter Mind Maps — VVT UniUD” description: “Explore all fifteen chapters of the Verification and Validation Techniques notes as interactive radial mind maps.” format: html: toc: false page-layout: full css: mindmap.css —

Interactive Chapter Mind Maps

Every map follows the actual chapter structure: sections become the main arteries, while nested headings and titled conceptual blocks form the topic-level outer rings.

Chapter 1 Finite-State Automata and Regular Languages 4 sections · 12 topics Chapter 2 Regular Languages and Decision Problems 4 sections · 18 topics Chapter 3 Automata over Infinite Words 5 sections · 23 topics Chapter 4 Complementation of ω-Regular Languages 6 sections · 28 topics Chapter 5 Synthesis and Infinite Games 6 sections · 29 topics Chapter 6 Planning as Model Checking 8 sections · 21 topics Chapter 7 Reactive Systems, SMV, and Explicit Model Checking 11 sections · 38 topics Chapter 8 S1S, the Büchi Theorem, and Deterministic Büchi Automata 12 sections · 26 topics Chapter 9 Deterministic Omega-Automata and Star-Free Languages 5 sections · 17 topics Chapter 10 Tree Languages and Tree Automata 4 sections · 20 topics Chapter 11 Linear Temporal Logic 8 sections · 26 topics Chapter 12 LTL Model Checking and Fairness 3 sections · 7 topics Chapter 13 CTL and Symbolic Model Checking 6 sections · 20 topics Chapter 14 Learning Regular Languages 5 sections · 15 topics Chapter 15 Security Protocol Verification with Tamarin 5 sections · 22 topics