2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Zheng Shi, Lasse Møldrup, Umang Mathur +1
A key computational question underpinning the automated testing and verification of concurrent programs is the consistency question - given a partial execution history, can it be c…