The case for context-bounded verification of concurrent programs

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

Volumn 5156 LNCS, Issue , 2008, Pages 3-6

  Qadeer, Shaz ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; MODEL CHECKING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPIN DYNAMICS; TECHNICAL PRESENTATIONS;

COMMUNICATING THREADS; CONCURRENCY ERRORS; CONCURRENT PROGRAMS; SOFTWARE DEVELOPMENT CYCLES; SOFTWARE DEVELOPMENTS; SOFTWARE PRODUCTIVITIES; SUBTLE INTERACTIONS;

PROGRAM DEBUGGING;

EID: 54249098718     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85114-1_2     Document Type: Conference Paper

References (6)

1. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. Technical Report MSR-TR-2004-10, Microsoft Research (2004)
2. Lal, A., Reps, T.: Reducing concurrent analysis under a context bound to sequential analysis. In: CAV 2008: Computer Aided Verification (2008)
3. Lal, A., Touili, T., Kidd, N., Reps, T.: Interprocedural analysis of concurrent programs under a, context bound. In: TACAS 2008: Tools and Algorithms for the Construction and Analysis of Systems (2008)
4. Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI 2007: Programming Language Design and Implementation, pp. 446-455 (2007)
5. Qadeer, S., Rehof, J.: Context-bounded model checking of concurrent software. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 93-107. Springer, Heidelberg (2005)
6. Qadeer, S., Wu, D.: KISS: Keep it simple and sequential. In: PLDI 2004: Programming Language Design and Implementation, pp. 14-24. ACM Press, New York (2004)