Instrumenting C programs with nested word monitors

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

Volumn 4595 LNCS, Issue , 2007, Pages 279-283

  Chaudhuri, Swarat ^a   Alur, Rajeev ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C PROGRAMS;

C (PROGRAMMING LANGUAGE);

EID: 38149083241     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73370-6_20     Document Type: Conference Paper

References (6)

1. Alur, R., Madhusudan, P.: Adding nested structure to words. Developments in Language Theory, 1-13 (2006)
2. Ball, T., Rajamani, S.: The slam toolkit. In: Computer Aided Verification, 13th International Conference (2001)
3. Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: The BLAST query language for software verification. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, pp. 2-18. Springer, Heidelberg (2004)
4. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, R., Poll, E.: An overview of JML tools and applications. In: Workshop on Formal Methods for Industrial Critical Systems, pp. 75-89 (2003)
5. Henzinger, T.A., Jhala, R., Majumdar, R., Necula, G.C., Sutre, G., Weimer, W.: Temporal-safety proofs for systems code. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 526-538. Springer, Heidelberg (2002)
6. Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279-295 (1997)