| 
|
QuoteRef: godeP1_1997
topics >
all references >
ThesaHelp:
references g-h
ThesaHelp:
ACM references f-l
Topic:
deadlocks
Topic:
proving concurrent programs
Reference
Godefroid, P., "Model checking for programming languages using VeriSoft", Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL 97) , Paris, France, January 1997, pp. 174-186. Google
181 ;;Quote: efficient search technique for detecting deadlocks and assertion violations in concurrent programs
ThesaHelp: references g-h (299 items)
ThesaHelp: ACM references f-l (241 items)
Topic: deadlocks (21 items)
Topic: proving concurrent programs (37 items)