Two papers accepted at iFM 2019


Two papers written by Wytse Oortwijn and Marieke Huisman have been accepted in this year's edition of iFM.

"Practical Abstractions for Automated Verification of Message Passing Concurrency" presenting a new technique which integrates model based verification and code verification for message passing programs and "Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System", a case study in the use of VerCors in a critical industrial system, have been accepted at the 15th International Conference on integrated Formal Methods taking place between the 2nd and the 6th of December this year, at Bergen, Norway.