Using a formal specification and a model checker to monitor and direct simulation.

Serdar Tasiran, Yuan Yu, Brannon Batson

Browse the full DAC paper archive.