-
1
-
-
0038650507
-
Formal Syntax and Semantics of Java
-
J. Alves-Foss, editor.
-
J. Alves-Foss, editor. Formal Syntax and Semantics of Java. Springer LNCS 1523, 1999.
-
(1999)
Springer LNCS
, vol.1523
-
-
-
2
-
-
35048864627
-
Java on Smart Cards: Programming and Security
-
I. Attali and T. Jensen, editors.
-
I. Attali and T. Jensen, editors. Java on Smart Cards: Programming and Security. Springer LNCS 2041, 2001.
-
(2001)
Springer LNCS
, vol.2041
-
-
-
3
-
-
55049132505
-
Formal system development with KIV
-
T. Maibaum, editor, Fundamental Approaches to Software Engineering
-
M. Baiser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with KIV. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, Springer LNCS 1783, 2000.
-
(2000)
Springer LNCS
, vol.1783
-
-
Baiser, M.1
Reif, W.2
Schellhorn, G.3
Stenzel, K.4
Thums, A.5
-
4
-
-
84944238972
-
A dynamic logic for the formal verification of Java card programs
-
I. Attali and T. Jensen, editors, Java on Smart Cards.
-
B. Beckert. A dynamic logic for the formal verification of Java card programs. In I. Attali and T. Jensen, editors, Java on Smart Cards. Springer LNCS 2041, 2000.
-
(2000)
Springer LNCS
, vol.2041
-
-
Beckert, B.1
-
6
-
-
18944384605
-
An overview of JML tools and applications
-
T. Arts and W. Fokkink, editors, ' Proceedings FMICS '03. Elsevier
-
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. Leino, and E. Poll. An overview of JML tools and applications. In T. Arts and W. Fokkink, editors, ' Proceedings FMICS '03. Volume 80 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science
, vol.80
-
-
Burdy, L.1
Cheon, Y.2
Cok, D.3
Ernst, M.4
Kiniry, J.5
Leavens, G.6
Leino, K.7
Poll, E.8
-
7
-
-
35248874920
-
Java applet correctness: A developeroriented approach
-
Formal Methods Europe (FME)
-
N. Burdy, A. Requet, and J.-L. Lanet. Java applet correctness: A developeroriented approach. In Formal Methods Europe (FME), Springer LNCS, 2003.
-
(2003)
Springer LNCS
-
-
Burdy, N.1
Requet, A.2
Lanet, J.-L.3
-
9
-
-
35048824641
-
Formal Techniques for Java Programs, Proceedings ECOOP2000 Workshop
-
S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors. 5/2000, Fernuniversität Hagen
-
S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors. Formal Techniques for Java Programs, Proceedings ECOOP2000 Workshop. Technical Report 269, 5/2000, Fernuniversität Hagen.
-
Technical Report
, vol.269
-
-
-
10
-
-
0007724355
-
First Order Dynamic Logic
-
Springer, Berlin
-
D. Harel. First Order Dynamic Logic. LNCS 68. Springer, Berlin, 1979.
-
(1979)
LNCS
, vol.68
-
-
Harel, D.1
-
11
-
-
0000952504
-
Formalizing the safety of Java, the Java virtual machine, and Java card
-
December
-
P. Hartel and L. Moreau. Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Computing Surveys (CSUR), 33(4), December 2001.
-
(2001)
ACM Computing Surveys (CSUR)
, vol.33
, Issue.4
-
-
Hartel, P.1
Moreau, L.2
-
12
-
-
35048851347
-
-
KIV home page
-
KIV home page, http://www.informatik.uni-augsburg.de/swt/fmg/.
-
-
-
-
14
-
-
84945313759
-
Java Program Verification via a Hoare Logic with Abrupt Termination
-
T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE'OO).
-
M. Huisman and B. Jacobs. Java Program Verification via a Hoare Logic with Abrupt Termination. In T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE'OO). Springer LNCS 1783, 2000.
-
(2000)
Springer LNCS
, vol.1783
-
-
Huisman, M.1
Jacobs, B.2
-
15
-
-
35048835508
-
Formal Techniques for Java Programs
-
B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors. Fernuniversität Hagen
-
B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors. Formal Techniques for Java Programs. Technical Report 251, Fernuniversität Hagen, 1999.
-
(1999)
Technical Report
, vol.251
-
-
-
16
-
-
84944224349
-
A logic for the Java modeling language JML
-
Proceedings FASE 2001, Genova, Italy
-
B. Jacobs and E. Poll. A logic for the Java modeling language JML. In Proceedings FASE 2001, Genova, Italy, 2001. Springer LNCS 2029.
-
(2001)
Springer LNCS
, vol.2029
-
-
Jacobs, B.1
Poll, E.2
-
17
-
-
2942553665
-
Java program verification at nijmegen: Developments and perspective
-
University of Nijmegen
-
B. Jacobs and E. Poll. Java program verification at nijmegen: Developments and perspective. Technical Report NIII-R0318, University of Nijmegen, 2003.
-
(2003)
Technical Report NIII-R0318
-
-
Jacobs, B.1
Poll, E.2
-
19
-
-
0003518498
-
-
Addison-Wesley
-
Bill Joy, Guy Steele, James Gosling, and Gilad Bracha. The Java (tm) Language Specification, Second Edition. Addison-Wesley, 2000.
-
(2000)
The Java (Tm) Language Specification, Second Edition
-
-
Joy, B.1
Steele, G.2
Gosling, J.3
Bracha, G.4
-
20
-
-
35048850229
-
-
KeY project homepage
-
KeY project homepage. http://i12www.ira.uka.de/~key.
-
-
-
-
21
-
-
35048878526
-
-
Krakatoa home page
-
Krakatoa home page, http://krakatoa.lri.fr/.
-
-
-
-
23
-
-
0011272228
-
Structured specifications and interactive proofs with KIV
-
W. Bibel and P. Schmitt, editors, Kluwer Academic Publishers
-
W. Reif, G. Schellhorn, K. Stenzel, and M. Balser. Structured specifications and interactive proofs with KIV. In W. Bibel and P. Schmitt, editors, Automated Deduction-A Basis for Applications. Kluwer Academic Publishers, 1998.
-
(1998)
Automated Deduction-A Basis for Applications
-
-
Reif, W.1
Schellhorn, G.2
Stenzel, K.3
Balser, M.4
-
24
-
-
0003539668
-
-
Springer
-
R.F. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, 2001.
-
(2001)
Java and the Java Virtual Machine: Definition, Verification, Validation
-
-
Stärk, R.F.1
Schmid, J.2
Börger, E.3
|