User menu

Milestones: a model checker combining Symbolic model Checking and partial order reduction

Bibliographic reference Vander Meulen, José ; Pecheur, Charles. Milestones: a model checker combining Symbolic model Checking and partial order reduction.NFM'11 Proceedings of the Third international conference on NASA Formal methods (du 18/04/2011 au 20/04/2011). In: Bobaru, M.; Havelund, K.; Holzmann, G.; Joshi, R. (Eds.), NASA formal methods, Springer : Berlin2011, p.525-531
Permanent URL http://hdl.handle.net/2078.1/90705
  1. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers 58, 118–149 (2003)
  2. Bortnik E., Trčka N., Wijs A.J., Luttik B., van de Mortel-Fronczak J.M., Baeten J.C.M., Fokkink W.J., Rooda J.E., Analyzing a χ model of a turntable system using Spin, CADP and Uppaal, 10.1016/j.jlap.2005.05.001
  3. Burch J.R., Clarke E.M., McMillan K.L., Dill D.L., Hwang L.J., Symbolic model checking: 1020 States and beyond, 10.1016/0890-5401(92)90017-a
  4. Cimatti A., Clarke E., Giunchiglia F., Roveri M., NuSMV: A New Symbolic Model Verifier, Computer Aided Verification (1999) ISBN:9783540662020 p.495-499, 10.1007/3-540-48683-6_44
  5. Clarke Edmund M., Grumberg Orna, Hamaguchi Kiyoharu, 10.1023/a:1008615614281
  6. Partial-Order Methods for the Verification of Concurrent Systems, ISBN:9783540607618, 10.1007/3-540-60761-7
  7. Holzmann G.J., The model checker SPIN, 10.1109/32.588521
  8. Iwashita, H., Nakata, T., Hirose, F.: CTL model checking based on forward state traversal. In: ICCAD 1996: Proceedings of the 1996 IEEE/ACM International Conference on Computer-aided Design, pp. 82–87. IEEE Computer Society, Washington, DC (1996)
  9. Lerda, F., Sinha, N., Theobald, M.: Symbolic model checking of software. In: Cook, B., Stoller, S., Visser, W. (eds.) Electronic Notes in Theoretical Computer Science, vol. 89. Elsevier, Amsterdam (2003)
  10. Peled Doron, Combining partial order reductions with on-the-fly model-checking, 10.1007/bf00121262
  11. Vander Meulen José, Pecheur Charles, Efficient Symbolic Model Checking for Process Algebras, Formal Methods for Industrial Critical Systems (2009) ISBN:9783642032394 p.69-84, 10.1007/978-3-642-03240-0_9
  12. Vander Meulen, J., Pecheur, C.: Combining partial order reduction with bounded model checking. In: Communicating Process Architectures 2009 - WoTUG-32. Concurrent Systems Engineering Series, vol. 67, pp. 29–48. IOS Press, Amsterdam (2009)