| 
|
Quote: efficient search technique for detecting deadlocks and assertion violations in concurrent programs
topics >
all references >
references g-h >
Topic:
deadlocks
Topic:
proving concurrent programs
Quotation Skeleton
We have presented a new search technique for … full- fledged programming languages such as C or … deadlocks and assertion violations without incurring the risk … and efficiently testing the correctness of any concurrent … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: deadlocks (21 items)
Topic: proving concurrent programs (37 items)