-
1
-
-
0034818448
-
Automatic predicate abstraction of C programs
-
Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of C programs. In: PLDF2001: Programming Language Design and Implementation, pp. 203-213 (2001)
-
(2001)
PLDF2001: Programming Language Design and Implementation
, pp. 203-213
-
-
Ball, T.1
Majumdar, R.2
Millstein, T.3
Rajamani, S.4
-
2
-
-
0038601527
-
-
Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: ICSE'2003: Int. Conf. on Software Engineering, pp. 385-395 (2003)
-
Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: ICSE'2003: Int. Conf. on Software Engineering, pp. 385-395 (2003)
-
-
-
-
4
-
-
21044450840
-
Comparing model-checking and logical reasoning for real-time systems
-
Dierks, H.: Comparing model-checking and logical reasoning for real-time systems. Formal Aspects of Computing 16(2), 104-120 (2004)
-
(2004)
Formal Aspects of Computing
, vol.16
, Issue.2
, pp. 104-120
-
-
Dierks, H.1
-
5
-
-
33745772398
-
Directed model checking with distance-preserving abstractions
-
Valmari, A, ed, Model Checking Software, Springer, Heidelberg
-
Dräger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distance-preserving abstractions. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3925
-
-
Dräger, K.1
Finkbeiner, B.2
Podelski, A.3
-
6
-
-
84894638887
-
Directed explicit model checking with HSFSPIN
-
Dwyer, M.B, ed, Model Checking Software, Springer, Heidelberg
-
Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Directed explicit model checking with HSFSPIN. In: Dwyer, M.B. (ed.) Model Checking Software. LNCS, vol. 2057, pp. 57-79. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2057
, pp. 57-79
-
-
Edelkamp, S.1
Lluch-Lafuente, A.2
Leue, S.3
-
8
-
-
84947441305
-
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 72-83. Springer, Heidelberg (1997)
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
-
-
-
-
10
-
-
2442623463
-
Abstractions from proofs
-
Henzinger, T., Jhala, R., Majumdar, R., McMillan, K.: Abstractions from proofs. In: POPL'2004: Principles of Programming Languages, pp. 232-244 (2004)
-
(2004)
POPL'2004: Principles of Programming Languages
, pp. 232-244
-
-
Henzinger, T.1
Jhala, R.2
Majumdar, R.3
McMillan, K.4
-
12
-
-
84949528609
-
-
Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniForM Workbench, a universal development environment for formal methods. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, 1708, pp. 1186-1205. Springer, Heidelberg (1999)
-
Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniForM Workbench, a universal development environment for formal methods. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 1186-1205. Springer, Heidelberg (1999)
-
-
-
-
13
-
-
33745795134
-
Adapting an AI planning heuristic for directed model checking
-
Valmari, A, ed, Model Checking Software, Springer, Heidelberg
-
Kupferschmid, S., Hoffmann, J., Dierks, H., Behrmann, G.: Adapting an AI planning heuristic for directed model checking. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3925
-
-
Kupferschmid, S.1
Hoffmann, J.2
Dierks, H.3
Behrmann, G.4
-
14
-
-
84887389810
-
-
Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, 4354, pp. 245-259. Springer, Heidelberg (2007)
-
Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 245-259. Springer, Heidelberg (2007)
-
-
-
-
15
-
-
35048825355
-
Guided invariant model checking based on abstraction and symbolic pattern databases
-
Jensen, K, Podelski, A, eds, TACAS 2004, Springer, Heidelberg
-
Qian, K., Nymeyer, A.: Guided invariant model checking based on abstraction and symbolic pattern databases. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 497-511. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2988
, pp. 497-511
-
-
Qian, K.1
Nymeyer, A.2
-
17
-
-
36348933844
-
Constraint solving for interpolation
-
Cook, B, Podelski, A, eds, VMCAI 2007, Springer, Heidelberg
-
Rybalchenko, A., Sofronie-Stokkermans, V.: Constraint solving for interpolation. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4349
-
-
Rybalchenko, A.1
Sofronie-Stokkermans, V.2
|