Directed Model Checking for B: An Evaluation and New Techniques - Formal Methods: Foundations and Applications - page 11

5. Edelkamp, S., Jabbar, S.: Large-scale directed model checking LTL. In: Valmari,
A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 1-18. Springer, Heidelberg (2006)
6. Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking
in the validation of communication protocols. STTT 5(2-3), 247-267 (2004)
7. Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Partial-order reduction and trail im-
provement in directed model checking. STTT 6(4), 277-301 (2004)
8. Fleming, P.J., Wallace, J.J.: How not to lie with statistics: the correct way to
summarize benchmark results. ACM Commun. 29(3), 218-221 (1986)
9. Formal Systems (Europe) Ltd. Failures-Divergence Refinement — FDR2 User
Manual (version 2.8.2)
10. Groce, A., Visser, W.: Heuristic model checking for Java programs. In: Bosnacki,
D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 242-245. Springer, Heidelberg
(2002)
11. Holzmann, G.J.: The model checker Spin. IEEE Trans. Software Eng. 23(5),
279-295 (1997)
12. Holzmann, G.J.: An analysis of bitstate hashing. Formal Methods in System De-
sign 13(3), 289-307 (1998)
13. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-
Wesley, Reading (2004)
14. Holzmann, G.J., Peled, D.: An improvement in formal verification. In: Hogrefe,
D., Leue, S. (eds.) FORTE. IFIP Conference Proceedings, vol. 6, pp. 197-211.
Chapman and Hall, Boca Raton (1994)
15. Horne, T., van der Poll, J.A.: Planning as model checking: the performance of ProB
vs NuSMV. In: Botha, R., Cilliers, C. (eds.) SAICSIT Conf. ACM International
Conference Proceeding Series, vol. 338, pp. 114-123. ACM, New York (2008)
16. Jackson, D.: Alloy: A lightweight object modelling notation. ACM Transactions on
Software Engineering and Methodology 11, 256-290 (2002)
17. Leuschel, M.: The high road to formal validation. In: Borger, E., Butler, M., Bowen,
J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 4-23. Springer, Heidelberg
(2008)
18. Leuschel, M., Bendisposto, J.: Directed model checking for B: An evalua-
tion and new techniques. Technical report, STUPS, Universitat Dusseldorf
(September 2010),
http://www.stups.uni-duesseldorf.de/publications_detail.php?id=312
19.Leuschel,M.,Butler,M.:ProB:AmodelcheckerforB.In:Araki,K.,Gnesi,S.,
Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855-874. Springer, Heidelberg
(2003)
20. Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method.
STTT 10(2), 185-203 (2008)
21. McMillan, K.L.: Symbolic Model Checking. PhD thesis, Boston (1993)
22. Peled, D.: Combining partial order reductions with on-the-fly model-checking. In:
Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 377-390. Springer, Heidelberg
(1994)
23. Samia, M., Wiegard, H., Bendisposto, J., Leuschel, M.: High-Level versus Low-
Level Specifications: Comparing B with Promela and ProB with Spin. In: Attiogbe,
Mery (eds.) Proceedings TFM-B 2009, pp. 49-61. APCB (June 2009)
24. Wiegard, H.: A comparison of the model checker ProB with Spin. Master's thesis,
Institut fur Informatik, Universitat Dusseldorf, Bachelor's thesis (2008)
25. Yu, Y., Manolios, P., Lamport, L.: Model checking TLA + specifications. In:
Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54-66. Springer,
Heidelberg (1999)