In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.
A sharing platform for the Computer-Aided Verification community
In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.