This paper presents a historical overview of the work on Java program verification at the University of Nijmegen (the Netherlands) over the past six years (1997-2003). It describes the development and use of the LOOP tool that is central in this work. Also, it gives a perspective on the field.
展开▼