Carl M. KadieinTowards Data ScienceNine Rules to Formally Validate Rust Algorithms with Dafny (Part 2)Lessons from Verifying the range-set-blaze CrateOct 21, 2023
NethermindinNethermind.ethClear–Prove Anything About Your Solidity Smart ContractsClear is a formal verification framework for programs written in SolidityJul 11Jul 11
Afzal Badshah, PhDIntroduction to Formal Methods in Software EngineeringIn Software Engineering, the development of reliable and robust systems is crucial, especially for mission-critical applications like…Sep 2Sep 2
Carl M. KadieCheck AI-Generated Code Perfectly and AutomaticallyMy Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust CodeJun 9, 20231Jun 9, 20231
Carl M. KadieinTowards Data ScienceNine Rules to Formally Validate Rust Algorithms with Dafny (Part 2)Lessons from Verifying the range-set-blaze CrateOct 21, 2023
NethermindinNethermind.ethClear–Prove Anything About Your Solidity Smart ContractsClear is a formal verification framework for programs written in SolidityJul 11
Afzal Badshah, PhDIntroduction to Formal Methods in Software EngineeringIn Software Engineering, the development of reliable and robust systems is crucial, especially for mission-critical applications like…Sep 2
Carl M. KadieCheck AI-Generated Code Perfectly and AutomaticallyMy Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust CodeJun 9, 20231
Jamie SmithinImandra Inc.Automated Reasoning for SysML v2Version 2 of SysML represents a significant advance over version 1 and is aimed to address numerous shortcomings and limitations of…Aug 7, 20231
Jamie SmithinImandra Inc.Automated Reasoning for SysML v2 Part 2Formally Verifying SysML v2 Constraints with ImandraNov 1, 2023