De nästa 700 verifierade kompilatorerna
Software can be proved (i.e. verified) to function correctly. However, many verification efforts leave a gap between the source code that is proved correct and the executable machine code that actually runs.
Magnus Myreen (kontakt)
Chalmers, Data- och informationsteknik, Formella metoder
Finansierar Chalmers deltagande under 2022–2025