LOOP stands for Logic of Object-Oriented Programming. It is the name of a research project, and also the name of the tool that plays a central role in this project. The topic is formal methods for object-oriented languages. The aim is to specify and verify properties of classes in object-oriented languages, using proof tools like PVS and Isabelle.
We indirectly mentioned this project, by linking to papers on Java verification, and on colagebras.
Posted to OOP by Ehud Lamm on 12/25/01; 6:00:19 AM
|
|