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

In  Proceedings of the 40th Design Automation Conference (DAC)

Publisher  ACM

Details

TypeInproceedings
URLhttp://doi.acm.org/10.1145/775926
Pages356-361
AddressAnaheim, CA, USA
> Publications > Using a formal specification and a model checker to monitor and direct simulation.