vrnithinkumar
Finding null smart pointer dereference with LLVM-Clang Static Analyzer
Re:Modeling Adversaries with TLA+
on Tuesday May 07, 2019 @05:30PM (#19853640)
Use of Formal Methods at Amazon Web Services
https://lamport.azurewebsites.net/tla/formal-methods-amazon....