-
1
-
-
84943192601
-
The Ke Y approach: Integrating object oriented design and formal verification
-
M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, LNCS, Springer
-
W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The Ke Y approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, Proceedings, Logics in Artificial Intelligence (JELIA), Malaga, Spain, LNCS 1919. Springer, 2000.
-
(1919)
Proceedings, Logics in Artificial Intelligence (JELIA), Malaga, Spain
, pp. 2000
-
-
Ahrendt, W.1
Baar, T.2
Beckert, B.3
Giese, M.4
Habermalz, E.5
Hähnle, R.6
Menzel, W.7
Schmitt, P.H.8
-
6
-
-
0034593083
-
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
-
C. Calcagno, S. Ishtiaq, and P. W. O’Hearn. Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic. In Proceedings, International Conference on Principles and Practice ofDe clarative Programming, Montreal, Canada. ACM, 2000.
-
(2000)
Proceedings, International Conference on Principles and Practice Ofde Clarative Programming, Montreal, Canada
-
-
Calcagno, C.1
Ishtiaq, S.2
O’Hearn, P.W.3
-
7
-
-
0000289556
-
Formal methods: State of the art and future directions
-
E. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626–643, 1996.
-
(1996)
ACM Computing Surveys
, vol.28
, Issue.4
, pp. 626-643
-
-
Clarke, E.1
Wing, J.M.2
-
8
-
-
0007750999
-
Acceptance of formal methods: Lessons from hardware design
-
Part of: Hossein Saiedian (ed.)., An Invitation to Formal Methods,. Pages 16–30
-
D. L. Dill and J. Rushby. Acceptance of formal methods: Lessons from hardware design. IEEE Computer, 29(4):23–24, 1996. Part of: Hossein Saiedian (ed.). An Invitation to Formal Methods. Pages 16–30.
-
(1996)
IEEE Computer
, vol.29
, Issue.4
, pp. 23-24
-
-
Dill, D.L.1
Rushby, J.2
-
9
-
-
0003518498
-
-
Addison Wesley, second edition
-
J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, second edition, 2000.
-
(2000)
The Java Language Specification
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
Bracha, G.4
-
11
-
-
35248895092
-
Java program verification via a Hoare logic with abrupt termination
-
LNCS 1783. Springer
-
M. Huisman and B. Jacobs. Java program verification via a Hoare logic with abrupt termination. In Proceedings, Fundamental Approaches to Software Engineering (FASE), Berlin, Germany, LNCS 1783. Springer, 2000.
-
(2000)
Proceedings, Fundamental Approaches to Software Engineering (FASE), Berlin, Germany
-
-
Huisman, M.1
Jacobs, B.2
-
12
-
-
84955614937
-
Deduction in the Verification Support Environment (VSE)
-
M.-C. Gaudel and J. Woodcock, editors, LNCS, Springer
-
D. Hutter, B. Langenstein, C. Sengler, J. H. Siekmann, and W. Stephan. Deduction in the Verification Support Environment (VSE). In M.-C. Gaudel and J. Woodcock, editors, Proceedings, International Symposium ofF ormal Methods Europe (FME), Oxford, UK, LNCS 1051. Springer, 1996.
-
(1996)
Proceedings, International Symposium off Ormal Methods Europe (FME), Oxford, UK
, pp. 1051
-
-
Hutter, D.1
Langenstein, B.2
Sengler, C.3
Siekmann, J.H.4
Stephan, W.5
-
13
-
-
0348137518
-
Reasoning about Java classes (Preliminary report)
-
B. Jacobs, J. van den Berg, M. Huisman, M. van Berkum, U. Hensel, and H. Tews. Reasoning about Java classes (preliminary report). In Proceedings, Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 329–340. ACM Press, 1998.
-
(1998)
Proceedings, Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
, pp. 329-340
-
-
Jacobs, B.1
Van Den Berg, J.2
Huisman, M.3
Van Berkum, M.4
Hensel, U.5
Tews, H.6
-
14
-
-
0001110949
-
Logic of programs
-
J. van Leeuwen, editor, volume B: Formal Models and Semantics, chapter 14, Elsevier, Amsterdam
-
D. Kozen and J. Tiuryn. Logic of programs. In J. van Leeuwen, editor, Handbook ofThe oretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 789–840. Elsevier, Amsterdam, 1990.
-
(1990)
Handbook Ofthe Oretical Computer Science
, pp. 789-840
-
-
Kozen, D.1
Tiuryn, J.2
|