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

Serdar Tasiran, Yuan Yu, and Brannon Batson

Details

Publication typeInproceedings
Published inProceedings of the 40th Design Automation Conference (DAC)
URLhttp://doi.acm.org/10.1145/775926
Pages356-361
AddressAnaheim, CA, USA
PublisherACM
> Publications > Using a formal specification and a model checker to monitor and direct simulation.