The next 700 verified compilers
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.
This page is only available in english
- Swedish Research Council (VR) (Public, Sweden)