B.P.F. Jacobs, E. Poll  Home/Search
Context Related
| cs.kun.nl/research//...NIIIR0318.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kun.nl/research/reports...2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Cited by: More
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
Generalized Typestate Checking Using Set Interfaces and.. - Patrick Lam Viktor (2004) (Correct)
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (Correct)
Active bibliography (related documents): More All
3.6: Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (Correct)
0.7: An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (Correct)
0.4: Formal Methods for Smart Cards: An Experience Report - Breunesse, Cataño.. (2004) (Correct)
Similar documents based on text: More All
0.1: Reasoning about Card Tears and Transactions in Java Card - Hubbers, Poll (2003) (Correct)
0.1: Java Program Verification Challenges - Jacobs, Kiniry, Warnier (2003) (Correct)
0.1: Formal Methods for Smart Cards: an experience report - Breunesse, Catano, Huisman, .. (2003) (Correct)
Related documents from co-citation: More All
8: Extended static checking for Java - Flanagan, Leino et al. - 2002
6: Heap monotonic typestates (context) - Fahndrich, Rustan et al. - 2003
6: Computing Science Institute (context) - Burdy, Cheon et al. - 2003
BibTeX entry: (Update)
Bart P. F. Jacobs and Erik Poll. Java program verification at nijmegen: Developments and perspective. Technical Report NIII-R0318, Nijmegen Institute of Computing and Information Sciences, September 2003. http://citeseer.ist.psu.edu/article/jacobs03java.html More
@misc{ jacobs03java,
author = "B. Jacobs and E. Poll",
title = "Java program verification at nijmegen: Developments and perspective",
text = "Bart P. F. Jacobs and Erik Poll. Java program verification at nijmegen:
Developments and perspective. Technical Report NIII-R0318, Nijmegen Institute
of Computing and Information Sciences, September 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/jacobs03java.html" }
Citations (may not include all citations):140 Extended static checking for Java - Flanagan, Leino et al. - 2002
134 PVS: Combining specification (context) - Owre, Rajan et al. - 1996
121 An approach to object semantics based on terminal co-algebra.. (context) - Reichel - 1995
79 JML: A notation for detailed design - Leavens, Baker et al. - 1999
72 Objects and classes (context) - Jacobs - 1996
69 IsabelleHOL Proof Assistant Higher Order Logic (context) - Lawrence, Markus et al. - 2002
57 The LOOP compiler for Java and JML - van den Berg, Jacobs - 2001
52 Reasoning about classes in objectoriented languages: Logical.. - Hensel, Huisman et al.
43 The Java Language Specification Second Edition - Gosling, Joy et al. - 2000
42 Reasoning about JAVA Programs in higher order logic with PVS.. (context) - Huisman - 2001
40 A runtime assertion checker for the Java Modeling Language - Cheon, Leavens - 2002
37 Reasoning about classes in Java (context) - Jacobs, van den Berg et al. - 1998
27 Java program verification via a Hoare logic with abrupt term.. - Huisman, Jacobs - 2000
26 An architecture for interactive program provers (context) - Meyer, Poetzsch-He - 2000
24 An overview of JML tools and applications - Burdy, Cheon et al. - 2003
22 Specifying and verifying a decimal representation in Java fo.. - Breunesse, van den Berg et al. - 2002
19 Weakest precondition reasoning for Java programs with JML an.. - Jacobs
19 How the design of JML accommodates both runtime assertion ch.. - Leavens, Cheon et al. - 2002
18 Formal specification of the JavaCard API in JML: the APDU cl.. - Poll, van den Berg et al. - 2001
17 Inheritance in higher order logic: Modeling and reasoning - Huisman, Jacobs - 2000
14 Java's integral types in PVS - Jacobs - 2003
14 The coalgebraic class specification language CCSL - Rothe, Tews et al. - 2001
13 Krakatoa tool JMLJava program certification (context) - Mohring, Krakatoa et al. - 2003
11 Hoare logic for NanoJava: Auxiliary variables (context) - von Oheimb, Nipkow
11 Modular specification of frame properties in JML (context) - Muller, Poetzsch-He et al. - 2003
9 Java applet correctness: A developeroriented approach - Burdy, Requet et al. - 2003
7 Java program verification challenges - Jacobs, Kiniry et al. - 2003
6 A type-theoretic memory model for verification of sequential.. - van den Berg, Huisman et al. - 2000
5 bisimulation and minimal realisation (context) - Malcolm - 1996
4 Technical report in computing science no (context) - Ahrendt, tool - 2003
4 comparison PV and IsabelleHOL (context) - oen, of et al. - 1998
3 Coalgebraic Methods for Object-Oriented Specification (context) - Tews - 2002
3 Formal verification of a secure payment applet (context) - Jacobs, Oostdijk et al.
3 Definition and Proof Principles for Data and Processes (context) - Hensel - 1999
2 Coalgebras and monads in the semantics of Java - Jacobs, Poll - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kun.nl/research/reports/2003.html): More
A Case for Incorporating Vague Concepts in Formal.. - Bosman, van der Weide (Correct)
The Role of Concept Management in System Development - A.. - Bleeker, Proper, al. (2003) (Correct)
Exact Arithmetic on the Stern-Brocot Tree - Niqui (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC