events
Detail
Publication date: 1 de June, 20212nd 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/ |