Realistische Compiler
https://www.mpg.de/5562753/Realistische_Compiler?c=1070738Neue Untersuchungen haben die Durchführbarkeit der Verifizierung realistischer optimierender Compiler nachgewiesen. Es sind jedoch noch zahlreiche Probleme zu überwinden, bis verifizierte Compiler zur Verfügung stehen, die eine modulare Softwareentwicklung sowie Multicore-Architekturen unterstützen.
Das RelaxedMemory-Modell x86 TSO Das RelaxedMemory-Modell x86 TSO Allerdings verkompliziert