Proving the Existence of Fair Paths in Infinite-State Systems.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago

Browse the full VMCAI paper archive.