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.
The conference is organised by COST Action IC0701
but it goes beyond the framework of this action. This conference is
open to the whole scientific community around the following topics, and
also encourages people close to industrial applications to submit
papers and participate.
The Action may provide travel grants.
Topics include but are not limited to:
- Logic-based methods for formal
of object-oriented software
- specification and description
- analysis and validation
- Technologies such as
for the formal verification of object-oriented software
- type systems
- Modularisation and verification of components
- Verification of
- adaptable and reusable
- Tool descriptions
- Experience reports
- Case studies
- Teaching formal verification