Gerwin Klein on Nicta's project in performing a formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C implementation. Complete formal verification is the only known way to guarantee that a system is free of bugs.
Categories: Software Engineering, Computer Science, Research Applications
This video is part of the ICFP 2009 feature.
What should I watch next? What do I watch to find out more about the topic? How does this relate to other disciplines? What are the applications of this?
The linkmap is a visual way to explore connections between videos and find more interesting content.
Each of the nodes on the linkmap represents a video. Click on one to find out more.
