-
1
-
-
84894638887
-
Directed Explicit Model Checking with HSFSPIN
-
Dwyer, M.B, ed, SPIN, Springer, Heidelberg
-
Leue, S., Edelkamp, S., Lluch Lafuente, A.: Directed Explicit Model Checking with HSFSPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 57-79. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2057
, pp. 57-79
-
-
Leue, S.1
Edelkamp, S.2
Lluch Lafuente, A.3
-
2
-
-
10444262814
-
Directed explicit-state model checking in the validation of communication protocols
-
Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. STTT 5, 247-267 (2004)
-
(2004)
STTT
, vol.5
, pp. 247-267
-
-
Edelkamp, S.1
Leue, S.2
Lluch-Lafuente, A.3
-
3
-
-
0036980240
-
Model checking Java programs using structural heuristics
-
ACM, New York
-
Groce, A., Visser, W.: Model checking Java programs using structural heuristics. In: Proc. ISSTA, pp. 12-21. ACM, New York (2002)
-
(2002)
Proc. ISSTA
, pp. 12-21
-
-
Groce, A.1
Visser, W.2
-
4
-
-
35048825355
-
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
-
Jensen, K, Podelski, A, eds, TACAS 2004, Springer, Heidelberg
-
Nymeyer, A., Qian, K.: 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
-
-
Nymeyer, A.1
Qian, K.2
-
5
-
-
33745795134
-
Adapting an AI Planning Heuristic for Directed Model Checking
-
Valmari, A, ed, SPIN, Springer, Heidelberg
-
Kupferschmid, S., Hoffmann, J., Dierks, H., Behrmann, G.: Adapting an AI Planning Heuristic for Directed Model Checking. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 35-52. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3925
, pp. 35-52
-
-
Kupferschmid, S.1
Hoffmann, J.2
Dierks, H.3
Behrmann, G.4
-
6
-
-
33745772398
-
Directed model checking with distance-preserving abstractions
-
Valmari, A, ed, SPIN, Springer, Heidelberg
-
Drãger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distance-preserving abstractions. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 19-34. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3925
, pp. 19-34
-
-
Drãger, K.1
Finkbeiner, B.2
Podelski, A.3
-
7
-
-
38049161655
-
Using predicate abstraction to generate heuristic functions in UPPAAL
-
Edelkamp, S, Lomuscio, A, eds, MoChArt IV, Springer, Heidelberg
-
Hoffmann, J., Smaus, J.G., Rybalchenko, A., Kupferschmid, S., Podelski, A.: Using predicate abstraction to generate heuristic functions in UPPAAL. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol. 4428, pp. 51-66. Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI
, vol.4428
, pp. 51-66
-
-
Hoffmann, J.1
Smaus, J.G.2
Rybalchenko, A.3
Kupferschmid, S.4
Podelski, A.5
-
8
-
-
33646437485
-
Abstraction-guided model checking using symbolic ida* and heuristic synthesis
-
Wang, F, ed, FORTE 2005, Springer, Heidelberg
-
Qian, K., Nymeyer, A., Susanto, S.: Abstraction-guided model checking using symbolic ida* and heuristic synthesis. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 275-289. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3731
, pp. 275-289
-
-
Qian, K.1
Nymeyer, A.2
Susanto, S.3
-
10
-
-
47249131519
-
Domain-independent construction of pattern database heuristics for cost-optimal planning
-
Haslum, P., Botea, A., Helmert, M., Bonet, B., Koenig, S.: Domain-independent construction of pattern database heuristics for cost-optimal planning. In: Proc. AAAI (2007)
-
(2007)
Proc. AAAI
-
-
Haslum, P.1
Botea, A.2
Helmert, M.3
Bonet, B.4
Koenig, S.5
-
11
-
-
0003962322
-
-
MIT Press, Cambridge
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
-
(2000)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
12
-
-
84949528609
-
-
Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniFor MWorkbench, a universal development environment for formal methods. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, 1709, Springer, Heidelberg (1999)
-
Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniFor MWorkbench, a universal development environment for formal methods. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, Springer, Heidelberg (1999)
-
-
-
-
13
-
-
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, 104-120 (2004)
-
(2004)
Formal Aspects of Computing
, vol.16
, pp. 104-120
-
-
Dierks, H.1
-
14
-
-
35048862279
-
-
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, 3185, pp. 200-236. Springer, Heidelberg (2004)
-
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200-236. Springer, Heidelberg (2004)
-
-
-
-
15
-
-
0028513196
-
Model Checking and Abstraction
-
Clarke, E.M., Grumberg, O., Long, D.E.: Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems 16, 1512-1542 (1994)
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
|