ProMoVer

Publications

• Procedure-Modular Verification of Control Flow Safety Properties
  Siavash Soleimanifard, Dilian Gurov and Marieke Huisman
  In Formal Techniques for Java-like Programs (FTfJP) 2010.
  BibTex
  
• ProMoVer: Modular Verification of Temporal Safety Properties
  Siavash Soleimanifard, Dilian Gurov and Marieke Huisman
  In 9th International Conference on Software Engineering and Formal Methods (SEFM) 2011.