Context-bounded model checking of concurrent software

Context-bounded model checking of concurrent software (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Shaz Qadeer Jakob Rehof

Venue:	In TACAS
Citations:	69 - 5 self

BibTeX

@INPROCEEDINGS{Rehof05context-boundedmodel,
    author = {Shaz Qadeer Jakob Rehof},
    title = {Context-bounded model checking of concurrent software},
    booktitle = {In TACAS},
    year = {2005},
    pages = {93--107},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1130	The model checker SPIN - Holzmann - 1997
514	Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer, et al. - 2000
388	Model checking programs - Visser, Havelund, et al.
324	Model Checking for Programming Languages using VeriSoft - Godefroid - 1997
320	Precise interprocedural dataflow analysis with applications to constant propagation - Sagiv, Reps, et al. - 1996
317	The SLAM project: Debugging system software via static analysis - Ball, Rajamani - 2002
273	Two approaches to interprocedural data flow analysis - SHARIR, PNUELI - 1981
224	ESP: Path-sensitive program verification in polynomial time - Das, Lerner, et al. - 2002
200	Specification and verification of concurrent systems in CESAR - Queille, Sifakis - 1982
184	Synthesis of Synchronization Skeletons for Branching Time Temporal Logic - Clarke, Emerson - 1981
181	Modular verification of software components - Chaki, Clarke, et al. - 2003
147	D.L.: CMC: A pragmatic approach to model checking real code - Musuvathi, Park, et al.
103	Bounded model checking using satisfiability solving - Clarke, Bierea, et al.
100	A direct symbolic approach to model checking pushdown systems - Finkel, Willems, et al. - 1997
90	Specification and verification of concurrent systems - Queille, Sifakis - 1982
74	Assumption generation for software component verification - Giannakopoulou, Pasareanu, et al. - 2002
72	Verifying safety properties of concurrent Java programs using 3-valued logic - Yahav - 2001
63	A generic approach to the static analysis of concurrent programs with procedures - Bouajjani, Esparza, et al. - 2003
62	R.: Race checking by context inference - Henzinger, Jhala, et al. - 2004
62	Bogor: An extensible and highly-modular model checking framework - Robby, Hatcliff - 2003
53	Model-Checking Pushdown Systems - Schwoon - 2002
48	Context-Free Languages and Push-Down Automata - Autebert, Berstel, et al. - 1997
46	Summarizing procedures in concurrent programs - Qadeer, Rajamani, et al. - 2004
35	Thread-modular abstraction refinement - Henzinger, Jhala, et al. - 2003
34	Verification techniques for cache coherence protocols - Pong, Dubois - 1997
28	Zing: Exploiting Program Structure for Model Checking Concurrent Software - Andrews, Qadeer, et al. - 2003
23	Ecient algorithms for pre and post on interprocedural parallel graphs - Esparza, Podelski - 2000
22	Modular refinement of hierarchic reactive machines - Alur, Grosu
5	Context sensitive synchronization sensitive analysis is undecidable - Ramalingam
3	Bandera: extracting finite-state models from Java source code. Int - Das, Dill, et al. - 1999
2	KISS: Keep it simple and seqeuential - Qadeer, Wu - 2004
1	it simple and seqeuential - Keep - 1981
1	Modular refinementof hierarchic reactive machines - Alur, Grosu - 2000
1	Data flow analysis forverifying properties of concurrent programs - Dwyer, Clarke - 1994
1	Assumption generation for software component verification - Barringer - 2002
1	Model checking for programminglanguages using Verisoft - Godefroid - 1997
1	Thread-modular abstraction refinement - Qadeer - 2003
1	The model checker SPIN.IEEE Transactions on Software Engineering - Holzmann - 1997
1	KISS: Keep it simpleand seqeuential - Qadeer, Wu - 2004
1	Model-Checking Pushdown Sys-tems. PhD thesis, Lehrstuhl f"ur Informatik VII der Technischen Universit"at M"unchen - Schwoon - 2000