Mirror Page Link »

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.

Workshop Schedule

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 »
Prof. Prabhaker Mateti, Department of Computer Science and Engineering, Wright State University, US. His research interests are Formal methods in Software Engineering, Operating Systems, Internet Security, Distributed Computing, and Language Design.
Prof. Bharat Jayaraman, Computer Science and Engineering, University at Buffalo, State University of New York. His research interests are languages that support high-level, declarative, and visual modeling of complex systems. Object-oriented modeling, constraint-based design, interactive program visualization, and domainspecific languages for applications in engineering and organizational modeling.
Swaminathan J., Assistant Professor, Computer Science and Engineering, Amrita Vishwa Vidyapeetham, Amritapuri. He currently serves as an Assistant Professor at the Department of Computer Science Engineering at Amrita School of Engineering, Amritapuri. He has completed M. Tech. in Computer Science.

Organizing Committee


  • Limited number of AC/Non-AC rooms and Hostel rooms are available on payment basis in the campus (includes breakfast and dinner)
  • Lunch and high tea will be provided at the workshop venue
  • Registration fee does not include Food and Accommodation charges


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 VidyapeethamCoimbature CampusAmrita 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:

Dr. Vasudevan A. R.
ASB Contact  +91 94460 94960
Mrs. Jevitha K. P.
ASB Contact  +91 97897 97982
Mr. Praveen K.
ASB Contact  +91 96269 37934
Mrs. Amritha P. P.
ASB Contact  +91 80563 75912


Workshop Additional Slides

    1. Temporal Logic
    1. Uppaal
  3. P. MATETI
    1. Visit slides

Event Details
2017-08-14 09:30 to 2017-08-19 05:00
TIFAC CORE in Cyber Security