The TIFAC-CORE in Cyber Security, Amrita Vishwa Vidyapeetham is organizing a ‘Workshop on Formal Methods for Systems’ at Amrita Vishwa Vidyapeetham, Coimbatore Campus, Tamil Nadu from August 14-19, 2017. The workshop aims at providing a platform for researchers, academicians, industrialist from around the globe to explore the vast potential of research and advancements in the field of Formal Methods and its application in the fields of Computer Security and Proving Linux Subsystems. The workshop also throws insight into formal method specific software tools such as JIVE, UPPAAL, Frama-C, SPIN, Isabelle, HOL, and TLA+. The workshop is handled by eminent professors and researchers in the field of Formal methods.
|Day||9:00 - 10:45||11:00 - 12:45||2:00 - 3:45||4:00 - 5:45|
|Monday||Opening • Overview + Assertions and Proofs by PM||QuickSort Proof by AP||Frama-C and C++ by PM||Math and Logic by SM|
|Tuesday||Axiomatic Semantics by PM||Frama-C Exercises by AP||Loop/ Class Invariants by PM||Temporal Logic by SN|
|Wednesday||Fairness of Scheduling by PM||Frama-C and TLA by AP||Prover Isabelle/HOL by PM||Exercises on TLA+ by AP|
|Thursday||Understanding seL4 by PM||Proof of seL4 by AP||Coverity by PM||Aadi Yogi Shiva Tour by All|
|Friday||Model Checking by BJ||MC Exercises by AP||Model Checker Tool by AP||MC Tool Exercises by AP|
|Saturday||Proving Linux by PM||Isabelle/HOL Exercises by AP||Spec Techniques by PM||[For Organizers Only]|
PM = Prabhaker Mateti, AP = AmritaU Assistant Professors, SM = Sethumadhavan, SN = Swaminathan, BJ = Bharat Jayaraman
Workshop will cover the following topics in the area of Formal Methods:
Assertions and Proofs, Entry and Exit Assertions, Loop/Class Invariants, Axiomatic Semantics, Temporal Logic, Model Checking, Understanding Microkernel seL4, Application of formal methods on Proving Linux subsystems , File system specs, Processes specs, Software tools of interest: JIVE, UPPAAL, Frama-C, SPIN, Isabelle, HOL, and TLA+.
Registration closed on August 10, 2017.Click Here to Register »
The Center for Cyber Security was identified by TIFAC (Department of Science & Technology, Govt. of India) as a CORE in Cyber Security in September 2005. The TIFAC-CORE in Cyber Security gives significant thrust to the frontier areas of Cyber Security, including technology, practice, management, and policy issues. TIFAC-CORE in Cyber Security at Amrita is a collaborative alliance of academic and industrial partners. The unique aspect of this CORE is the coming together and partnering of industry and academia to create innovative educational and research programs and develop world-class expertise in Cyber Security.The Center is located on Amrita Vishwa Vidyapeetham, Coimbatore Campus. For more details »
Amrita Vishwa Vidyapeetham established under the guidance of Satguru Mata Amritanandamayi Devi, with its head quarters at Ettimadai, Coimbatore is one of the youngest educational institutions in India to have been granted the institution status. Amrita Vishwa Vidyapeetham is one of the very few universities to have a multi-campus, multi-disciplinary character, offering under graduate, post graduate and research programmes. NAAC has accredited A Grade to Amrita Vishwa Vidyapeetham.
For any queries related to the workshop, please contact: