Quote: improve static reachability analysis for deadlock detection with state space reduction, symbolic model checking, and inequality necessary conditions

Quotation Skeleton

When a concurrent system is modeled as a … errors. Its application in practice, however, has been … increase exponentially with the number of processes. … [p. 161] we evaluate the efficacy of a partial … [ref], symbolic model checking [ref], and inequality necessary conditions [ref] in detecting deadlocks of Ada tasking programs. While we found … in the performance of the techniques on particular …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: deadlocks (21 items)
Topic: code optimization by flow analysis (45 items)