3:18How Do Formal Specification Languages Ensure Correctness?Learn To Troubleshoot3 viewsView & Download
1:18:10PLSS 2025: Opening and Keynote: Engineering a Formal Language Specification by Andreas RossbergPLSS Workshop137 viewsView & Download
54:32Tutorial - An introduction to formal models and languagesBrazilian Symposium on Formal Methods385 viewsView & Download
30:18"Formal Specification and Taming Other People's Tech" by Marianne BellottiStrange Loop Conference3.5K viewsView & Download
9:27Module overview: Formal Methods for Software EngineeringJan Oliver Ringert998 viewsView & Download
54:21[RPLS'25] Panel: Mechanized Specifications for Real-World Programming LanguagesACM SIGPLAN96 viewsView & Download
1:13:10The Design of A Formal Property-Specification LanguageMicrosoft Research643 viewsView & Download
2:00:16Formal Specification for a Cardano Wallet (Explained)Sebastien Guillemot1.5K viewsView & Download