MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code

Dirk Nowotka, Johannes Traub. MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. In Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer, editors, Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings. Volume 210 of LNI, pages 69-83, GI, 2012.

Abstract

Abstract is missing.