The next 700 verified compilers
Research Project, 2022
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 (contact)
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Swedish Research Council (VR)
Project ID: 2021-05165
Funding Chalmers participation during 2022–2025