Model checking contracts - A case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4762 LNCS, Issue , 2007, Pages 82-97

  Pace, Gordon ^a   Prisacariu, Cristian ^b   Schneider, Gerardo ^b  

^a UNIVERSITY OF MALTA   (Malta)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MODEL CHECKING; RISK ASSESSMENT;

CONTRACT LANGUAGE; INTER-BUSINESS RELATIONSHIPS; OBLIGATIONS;

CONTRACTS;

EID: 38149120388     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75596-8_8     Document Type: Conference Paper

References (15)

1. Biere, A.: mu-cke - efficient mu-calculus model checking. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 468-471. Springer, Heidelberg (1997)
2. Bradfield, J., Stirling, C.: Modal Logics and Mu-Calculi: an Introduction, pp. 293-330. Elsevier, Amsterdam (2001)
3. 20 states and beyond. In: LICS 1990, pp. 428-439 (1990)
4. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
5. Daskalopulu, A.: Model checking contractual protocols. In: JURIX 2000, Frontiers in Artificial Intelligence and Applications Series, pp. 35-47 (2000)
6. Fischer, M.J., Ladner, R.E.: Propositional modal logic of programs. In: STOC 1977, pp. 286-294 (1977)
7. Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)
8. Kozen, D.: Results on the propositional mu-calculus. Theor. Comput. Sci. 27, 333-354 (1983)
9. Mateescu, R., Sighireanu, M.: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46, 255-281 (2003)
10. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)
11. McNamara, P.: Deontic logic. In: Handbook of the History of Logic, vol. 7, pp. 197-289. North-Holland Publishing, Amsterdam (2006)
12. Pnueli, A.: The temporal logic of programs. In: FOCS 1977, pp. 46-57 (1977)
13. Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174-189. IFIP (2007)
14. Rozier, K.Y., Vardi, M.Y.: Ltl satisfiability checking. In: Bosnacki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 182-200 (2007)
15. Solaiman, E., Molina-Jiménez, C., Shrivastava, S.K.: Model checking correctness properties of electronic contracts. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 303-318. Springer, Heidelberg (2003)