Detail

Publication date: 1 de June, 2021

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.

---