-
1
-
-
0029713481
-
T-VEC: A Tool for Developing Critical Systems
-
IEEE Computer Society Press
-
Blackburn, M.R., Busser, R.D.: T-VEC: A Tool for Developing Critical Systems. In: Compass, pp. 237-249. IEEE Computer Society Press (1996)
-
(1996)
Compass
, pp. 237-249
-
-
Blackburn, M.R.1
Busser, R.D.2
-
2
-
-
0026116649
-
Replay and Testing for Concurrent Programs
-
Carver, R.H., Tai, K.C.: Replay and Testing for Concurrent Programs. IEEE Software 8(2), 66-74 (1991)
-
(1991)
IEEE Software
, vol.8
, Issue.2
, pp. 66-74
-
-
Carver, R.H.1
Tai, K.C.2
-
3
-
-
85050550846
-
Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints
-
ACM Press
-
Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL, pp. 238-252. ACM Press (1977)
-
(1977)
POPL
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
4
-
-
84962259702
-
Towards Formally Verified Optimizing Compilation in Flight Control Software
-
Schloss Dagstuhl
-
França, R.B., Favre-Felix, D., Leroy, X., Pantel, M., Souyris, J.: Towards Formally Verified Optimizing Compilation in Flight Control Software. In: PPES. OASICS, vol. 18, pp. 5-9-68. Schloss Dagstuhl (2011)
-
(2011)
PPES. OASICS
, vol.18
-
-
França, R.B.1
Favre-Felix, D.2
Leroy, X.3
Pantel, M.4
Souyris, J.5
-
5
-
-
80053043024
-
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262
-
Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. Springer, Heidelberg
-
Hillebrand, J., Reichenpfader, P., Mandic, I., Siegl, H., Peer, C.: Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 257-269. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6894
, pp. 257-269
-
-
Hillebrand, J.1
Reichenpfader, P.2
Mandic, I.3
Siegl, H.4
Peer, C.5
-
7
-
-
77953210383
-
SeL4: Formal Verification of an Operating-System Kernel
-
Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal Verification of an Operating-System Kernel. Commun. ACM 53(6), 107-115 (2010)
-
(2010)
Commun. ACM
, vol.53
, Issue.6
, pp. 107-115
-
-
Klein, G.1
Andronick, J.2
Elphinstone, K.3
Heiser, G.4
Cock, D.5
Derrin, P.6
Elkaduwe, D.7
Engelhardt, K.8
Kolanski, R.9
Norrish, M.10
Sewell, T.11
Tuch, H.12
Winwood, S.13
-
9
-
-
67650088351
-
Formal Verification of a Realistic Compiler
-
Leroy, X.: Formal Verification of a Realistic Compiler. Commun. ACM 52(7), 107-115 (2009)
-
(2009)
Commun. ACM
, vol.52
, Issue.7
, pp. 107-115
-
-
Leroy, X.1
-
10
-
-
77954531449
-
Timed Moore Automata: Test Data Generation and Model Checking
-
IEEE Computer Society
-
Löding, H., Peleska, J.: Timed Moore Automata: Test Data Generation and Model Checking. In: ICST, pp. 449-458. IEEE Computer Society (2010)
-
(2010)
ICST
, pp. 449-458
-
-
Löding, H.1
Peleska, J.2
-
11
-
-
77950895355
-
Verified Just-in-Time Compiler on x86
-
ACM
-
Myreen, M.O.: Verified Just-in-Time Compiler on x86. In: POPL, pp. 107-118. ACM (2010)
-
(2010)
POPL
, pp. 107-118
-
-
Myreen, M.O.1
-
12
-
-
79955041171
-
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
-
Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. Springer, Heidelberg
-
Peleska, J., Vorobev, E., Lapschies, F.: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 298-312. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6617
, pp. 298-312
-
-
Peleska, J.1
Vorobev, E.2
Lapschies, F.3
-
13
-
-
84873388002
-
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
-
Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. Springer, Heidelberg
-
Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., Schoen, D.: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1798-1815. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1709
, pp. 1798-1815
-
-
Randimbivololona, F.1
Souyris, J.2
Baudin, P.3
Pacalet, A.4
Raguideau, J.5
Schoen, D.6
-
15
-
-
0003666540
-
-
RTCA SC-167/EUROCAE WG-12. Number RTCA/DO-178B. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 December
-
RTCA SC-167/EUROCAE WG-12. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA/DO-178B. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 1992)
-
(1992)
Software Considerations in Airborne Systems and Equipment Certification
-
-
-
16
-
-
0003666540
-
-
RTCA SC-205/EUROCAE WG-71 Number RTCA/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 December
-
RTCA SC-205/EUROCAE WG-71. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 2011)
-
(2011)
Software Considerations in Airborne Systems and Equipment Certification
-
-
-
17
-
-
84868151289
-
-
RTCA SC-205/EUROCAE WG-71. Number RTCA/DO-330. RTCA, Inc. December
-
RTCA SC-205/EUROCAE WG-71. Software Tool Qualification Considerations. Number RTCA/DO-330. RTCA, Inc. (December 2011)
-
(2011)
Software Tool Qualification Considerations
-
-
-
18
-
-
70649085846
-
Formal Verification of Avionics Software Products
-
Cavalcanti, A., Dams, D.R. (eds.) FM 2009. Springer, Heidelberg
-
Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 532-546. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5850
, pp. 532-546
-
-
Souyris, J.1
Wiels, V.2
Delmas, D.3
Delseny, H.4
|