-
1
-
-
0019019881
-
Theories of Program Testing and the Application of Revealing Subdomains
-
Weyuker, E.J., Ostrand, T.J.: Theories of Program Testing and the Application of Revealing Subdomains. IEEE Transactions on Software Engineering 6 (1980) 236-246
-
(1980)
IEEE Transactions on Software Engineering
, vol.6
, pp. 236-246
-
-
Weyuker, E.J.1
Ostrand, T.J.2
-
6
-
-
84958769694
-
The KeY system: Integrating object-oriented design and formal methods
-
Kutsche, R.D., Weber, H., eds.: Fundamental Approaches to Software Engineering. Springer-Verlag
-
Ahrendt, W., Baar, T., Beckert, B., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Schmitt, P.H.: The KeY system: Integrating object-oriented design and formal methods. In Kutsche, R.D., Weber, H., eds.: Fundamental Approaches to Software Engineering. Volume 2306 of LNCS., Springer-Verlag (2002) 327-330
-
(2002)
LNCS
, vol.2306
, pp. 327-330
-
-
Ahrendt, W.1
Baar, T.2
Beckert, B.3
Giese, M.4
Hähnle, R.5
Menzel, W.6
Mostowski, W.7
Schmitt, P.H.8
-
8
-
-
84944238972
-
A dynamic logic for the formal verification of Java Card programs
-
Attali, I., Jensen, T., eds.: Java on Smart Cards: Programming and Security. Revised Papers, Java Card 2000, Cannes, France. Springer-Verlag
-
Beckert, B.: A dynamic logic for the formal verification of Java Card programs. In Attali, I., Jensen, T., eds.: Java on Smart Cards: Programming and Security. Revised Papers, Java Card 2000, Cannes, France. Volume 2041 of LNCS., Springer-Verlag (2001) 6-24
-
(2001)
LNCS
, vol.2041
, pp. 6-24
-
-
Beckert, B.1
-
9
-
-
0011881992
-
Program proving as hand simulation with a little induction
-
Rosenfeld, J.L., ed.: Information Processing 74
-
Burstall, R.M.: Program proving as hand simulation with a little induction. In Rosenfeld, J.L., ed.: Information Processing 74, Proceedings of IFIP Congress 74. (1974) 201-210
-
(1974)
Proceedings of IFIP Congress 74
, pp. 201-210
-
-
Burstall, R.M.1
-
10
-
-
85035756635
-
An interactive verification system based on dynamic logic
-
Siekmann, J., ed.: Proc. 8th Conference on Automated Deduction CADE, Oxford. Springer-Verlag
-
Hähnle, R., Heisel, M., Reif, W., Stephan, W.: An interactive verification system based on dynamic logic. In Siekmann, J., ed.: Proc. 8th Conference on Automated Deduction CADE, Oxford. Volume 230 of LNCS., Springer-Verlag (1986) 306-315
-
(1986)
LNCS
, vol.230
, pp. 306-315
-
-
Hähnle, R.1
Heisel, M.2
Reif, W.3
Stephan, W.4
-
11
-
-
22444431668
-
Program verification by symbolic execution and induction
-
Proc. 11th German Workshop on Artifical Intelligence. Springer-Verlag
-
Heisel, M., Reif, W., Stephan, W.: Program verification by symbolic execution and induction. In: Proc. 11th German Workshop on Artifical Intelligence. Volume 152 of Informatik Fachberichte., Springer-Verlag (1987) 201-210
-
(1987)
Informatik Fachberichte
, vol.152
, pp. 201-210
-
-
Heisel, M.1
Reif, W.2
Stephan, W.3
-
12
-
-
0017971624
-
Test data as an aid in proving program correctness
-
Geller, M.M.: Test data as an aid in proving program correctness. Communications of the ACM 21 (1978) 368-375
-
(1978)
Communications of the ACM
, vol.21
, pp. 368-375
-
-
Geller, M.M.1
-
14
-
-
84949677024
-
Derivation and use of induction schemes in higher-order logic
-
Gunter, E.L., Felty, A., eds.: Proc. 10th International Theorem Proving in Higher Order Logics Conference. Springer-Verlag
-
Slind, K.: Derivation and use of induction schemes in higher-order logic. In Gunter, E.L., Felty, A., eds.: Proc. 10th International Theorem Proving in Higher Order Logics Conference. Volume 1275 of LNCS., Springer-Verlag (1997) 275-290
-
(1997)
LNCS
, vol.1275
, pp. 275-290
-
-
Slind, K.1
-
15
-
-
33745731604
-
Verification of hardware systems with first-order logic
-
Sutcliffe, G., Pelletier, J., Suttner, C., eds.: affiliated to CADE-18, Copenhagen, DIKU, University of Copenhagen, Denmark Technical Report
-
Claessen, K., Hähnle, R., Mårtensson, J.: Verification of hardware systems with first-order logic. In Sutcliffe, G., Pelletier, J., Suttner, C., eds.: Proc. Problems and Problem Sets Workshop, affiliated to CADE-18, Copenhagen, DIKU, University of Copenhagen, Denmark (2002) Technical Report.
-
(2002)
Proc. Problems and Problem Sets Workshop
-
-
Claessen, K.1
Hähnle, R.2
Mårtensson, J.3
|