Keyword:Event-B

Papers
Event-B Based Formal Modeling of a Controller: a Case Study Rahul Karmakar, Bidyut Biman Sarkar and Nabendu Chaki EasyChair Preprint no. 2599
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Rewriting and Well-Definedness within a Proof System Issam Maamria and Michael Butler In:PAR-10. Partiality and Recursion in Interactive Theorem Provers