Java Program Verification at Nijmegen: Developments and Perspective (2003)
Cached
Download Links
- [www.cs.kun.nl]
- [www.cs.kun.nl]
- [www.cs.kun.nl]
- [www.cs.ru.nl]
- [www.cs.ru.nl]
- [www.cs.kun.nl]
- [academic.bowdoin.edu]
- DBLP
Other Repositories/Bibliography
by
Bart Jacobs
,
Erik Poll
| Venue: | Nijmegen Institute of Computing and Information Sciences |
| Citations: | 44 - 5 self |
BibTeX
@INPROCEEDINGS{Jacobs03javaprogram,
author = {Bart Jacobs and Erik Poll},
title = {Java Program Verification at Nijmegen: Developments and Perspective},
booktitle = {Nijmegen Institute of Computing and Information Sciences},
year = {2003},
pages = {134--153},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
