TIFAC CORE in Cyber Security

Formal Methods for System Software

Workshop Schedule Aug 14 -- 19, 2017

Before the Workshop -- Please Prepare Please Fill the Survey Piazza Discussion Forum Installing Frama-C
∀ Ideas, Concepts, Techniques • ∃ Exercises, Tools Usage • 😌 Breaks: tea 10:45, lunch 12:45, tea 3:45
Room MuraliKrishna Hall, CIR Building, AmritaU • All the Lecture Notes in one PDF

  9:00 - 10:45 11:00 - 12:45 2:00 - 3:45 4:00 - 5:45
Mon Opening Overview + ∀ Assertions and Proofs by PM ∃ QuickSort Proof by AP ∀ Frama-C and C++ by PM ∀ Math and Logic by SM
Tue ∀ Axiomatic Semantics by PM ∃ Frama-C Exercises by AP ∀ Loop/ Class Invariants by PM ∀ Temporal Logic by SN
Wed ∀ Fairness of Scheduling by PM ∃ Frama-C Lab Work by AP ∀ Isabelle/HOL Thm Prover by PM ∃ Exercises on TLA+ by AP
Thu ∀ Understanding seL4 by PM ∃ Isabelle/HOL Exercises #1 by AP ∀ Coverity by PM Aadi Yogi Shiva Tour by All
Fri ∀ Model Checking by BJ ∃ MC Exercises by AP ∀ SPIN Model Checker by AP ∃ MC Tool Exercises by AP
Sat ∀ Proving Linux by PM ∃ Isabelle/HOL Exercises #2 by AP ∀ Concluding Thoughts by PM [For Organizers Only]

PM = Prabhaker Mateti, AP = AmritaU Assistant Professors, SM = Sethumadhavan, SN = Swaminathan, BJ = Bharat Jayaraman
last updated: Thu Aug 10 11:26:10 IST 2017