Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems.

Shashank Hegde, Subhash Sethumurugan, Hari Cherupalli, Henry Duwe, John Sartori

Browse the full ASPDAC paper archive.