Scientific Program

  • T0 Project management
  • T1 Parameters and Systems
    • T1.1 Case studies
    • T1.2 Identification of parameters
    • T1.3 Generic results on parameterized systems
    • T1.4 Minimal parameters for correctness
  • T2 Automatic Verification of Parameterized Systems
    • T2.1 Link between TLA+ and Cubicle
    • T2.2 Extension of Cubicle to include more expressive structures
  • T3 Mechanized Proofs of Parameterized Systems
    • T3.1 Collaboration between model checking and formal proofs
    • T3.2 Injection of generic results into checkers and provers
  • T4 Verification of Parameterized Workflow Systems
    • T4.1 Definition of a PWS DSL and transformation into TLA+
    • T4.2 Definition of a PWS checker
    • T4.3 Application to adaptation, composition and repair