Race Control for the Validation and Verification of Ada Multitasking Programs (NOT KNOWN IF PUBLISHED BECAUSE AUTHOR HAS LEFT AT&T)

Parallel processing has increased the efficiency of concurrent programming and the complexity of software analysis; but these benefits have cost us the luxury of reliably testing and debugging programs that predictably behaved deterministically and sequentially. The repeated execution of a sequential program using the same input will invariably traverse the same legs of code in the program and therefore consistently produce the same results every time. Whereas, a concurrent program may be repeatedly run with the same input and never traverse the same legs of code, producing different results.