Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri. Semi-formal functional verification by EFSM traversing via NuSMV. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 58-65, IEEE, 2010. [doi]
Abstract is missing.