 FoVeOOS 2011:
2nd International Conference on Formal Verification of Object-Oriented Software
Turin, Italy, October 5-7, 2011
SCOPE 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.
ORGANIZATIONCOST IC0701 Verification Competition 2011The 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.
TOPICSTopics include but are not limited to:
- Logic-based methods for formal
- verification
- specification and description
- construction
- analysis and validation
of object-oriented software - Technologies such as
- logics
- calculi
- type systems
for the formal verification of object-oriented software - Modularisation and verification of components
- Verification of
- adaptable and reusable
- concurrent
- distributed
object-oriented software - Tool descriptions
- Experience reports
- Case studies
- Teaching formal verification
| 