A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs (1999)

by S Balakrishnan, S Tahar
Venue:In Proceedings IEEE 9th Great Lakes Symposium on VLSI, Ann Arbor