Supplementing Simulation of a Microcontroller Flash Memory Subsystem with Formal Veri cation Author(s): Othmane Bahlous and Abdelouahab Ayari Location: United States Year: 2012 Type: Paper Download