Publications
Environment-Independent Framework for Early Error Discovery in Embedded Systems Designs
Maintaining soundness in hybrid verification approaches for stateful models: A case study
EAMTA 2012 - Proceedings of the Argentine School of Micro-Nanoelectronics, Technology and Applications 2012
Maintaining soundness in hybrid verification approaches for stateful models :
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study
Toward Automatic Decomposition Discovery through High Level Specification Analysis: A Case Study
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study
7 Results