COST Action IC0701

Formal Verification of Object-Oriented Software

What is COST Action IC0701?

COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale. More.


  • Pre-proceedings of FoVeOOS 2011 available for download The pre-proceedings of FoVeOOS 2011 have been published by KIT in the Karlsruhe Reports in Informatics series. They are available here:
    Posted Oct 18, 2011, 12:11 PM by Unknown user
  • Aalborg meeting reimbursement is being processed All reimbursement claims for Aalborg have been received and are being processed.
    Posted Mar 17, 2011, 8:11 AM by Vladimir Klebanov
  • FoVeOOS 2010 post-conference proceedings The FoVeOOS 2010 post-conference proceedings published by Springer as volume 6528 in the LNCS series are now available in print and online.
    Posted Jan 22, 2011, 5:15 AM by Unknown user
  • New contact details for Action Chair and Action Secretary (see the Contact page). 
    Posted Feb 23, 2010, 5:26 AM by Vladimir Klebanov
  • The example repository has been made world-readable. Also, anyone with an Action account can upload problems.
    Posted Jul 27, 2009, 6:27 AM by Vladimir Klebanov
Showing posts 1 - 5 of 15. View more »

VerifyThus - the COST IC0701 Verification Tool Distribution

VerifyThus is a bootable distribution of tools for verification of object-oriented software.