Synchronous Equivalence: Formal Methods for Embedded Systems
Hsieh, Harry
Synchronous Equivalence: Formal Methods for Embedded Systems - New York Kluwer Academic / Plenum Publishers 2001 - 136p
Introduction The Polis Codesign Framework Codesign Finite State Machines Formal Verification of CFSM Specifications Synchronous Equivalence Static Equivalence Analysis Communication Analysis Refining Communication Analysis Conclusions and Future Directions
9780792372622 0.00
Computer Engineering
004.16 / HSI
Synchronous Equivalence: Formal Methods for Embedded Systems - New York Kluwer Academic / Plenum Publishers 2001 - 136p
Introduction The Polis Codesign Framework Codesign Finite State Machines Formal Verification of CFSM Specifications Synchronous Equivalence Static Equivalence Analysis Communication Analysis Refining Communication Analysis Conclusions and Future Directions
9780792372622 0.00
Computer Engineering
004.16 / HSI