|
27
|
A Machine-Checked Theory of Floating Point Arithmetic
– John Harrison
- 1999
|
|
19
|
Proving the IEEE Correctness of Iterative Floating-Point Square Root, Divide, and Remainder Algorithms
– Marius Cornea-Hasegan
|
|
24
|
IA-64 and Elementary Functions
– Peter Markstein
- 2000
|
|
64
|
IA-64 and elementary functions: speed and precision
– P Markstein
- 2000
|
|
171
|
JML: A Notation for Detailed Design
– Gary T. Leavens, Albert L. Baker, Clyde Ruby
- 1999
|
|
743
|
Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
- 1984
|
|
6
|
Handling of Integer Arithmetic in the Verification of Java Programs
– Steffen Schlager
- 2002
|
|
17
|
Java program verification in Higher-order logic with PVS and Isabelle
– Marieke Huisman
- 2001
|
|
60
|
A Dynamic Logic for the Formal Verification of Java Card Programs
– Bernhard Beckert
- 2001
|
|
53
|
Data refinement refined
– J He, C A R Hoare, J W Sanders
- 1986
|
|
22
|
Verification of JavaCard Programs
– Kurt Stenzel
- 2001
|
|
31
|
Unified Modeling Language Specification version 2.0: Superstructure
– OBJECT MANAGEMENT GROUP
- 2003
|
|
6
|
Java's Integral Types in PVS
– Bart Jacobs
- 2003
|
|
51
|
A Programming Logic for Sequential Java
– Arnd Poetzsch-Heffter, Peter Müller
- 1999
|
|
647
|
The B-book: assigning programs to meanings
– J-R Abrial
- 1996
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
12
|
Improving JML: For a safer and more effective language
– Patrice Chalin
- 2003
|
|
102
|
CVC: a Cooperating Validity Checker
– Aaron Stump, Clark W. Barrett, David L. Dill
- 2002
|
|
1055
|
The Z Notation: A Reference Manual
– J M Spivey
- 1992
|
