Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.

August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov

Browse the full ICST paper archive.