Formal verification of concurrent scheduling strategies using TLA.

Gudmund Grov, Greg Michaelson, Andrew Ireland

Browse the full ICPADS paper archive.