CyBOK - Formal Methods with David Basin

CyBOK — The Cybersecurity Body of Knowledge ›

31:17 | Sep 21st, 2021

The Formal Methods knowledge area surveys the most relevant topics in formal methods for security. As a discipline, formal methods address foundations, methods and tools, based on mathematics and logi...Show More