FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Browse the full CAV paper archive.