Automatic Software Verification Based on Reverse Engineering and Deduction: A Brief Description of the Alice System

doi:10.1201/9780429332197-51

Chapter

Automatic Software Verification Based on Reverse Engineering and Deduction: A Brief Description of the Alice System

ABSTRACT

A fully automatic method for verification of programs and its implementation (named “the ALICE system”) are introduced. The method is discussed and the problems that it entails are solved. Furthermore, the paper contains a description of the different parts of the ALICE system as well as of its theoretical foundations.