Detail

Publication date: 1 de June, 2021

2nd International Conference on Formal Verification of Object-Oriented Software

Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented.

The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area.


Location Turin, Italy
Startdate 05/10/2011
Enddate 07/10/2011
URL http://http://foveoos2011.cost-ic0701.org/