Safe and Secure Software using Software Verification

Robbert Krebbers discusses his ongoing effort to scale up formal verification techniques to

• challenging programming paradigms like concurrency
• in real programmling languages like C and Rust

by developing mathematical foundations and usable tool implementations.