Alexander AbramovichBeyond Tests and Assertions: Can Formal Verification Make DeFi Safer?Explore formal verification in DeFi: Learn how mathematical proofs enhance smart contract security, prevent hacks, and safeguard assets.Sep 23
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
Carl M. KadieCheck AI-Generated Code Perfectly and AutomaticallyMy Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust CodeJun 9, 20231Jun 9, 20231
Farooq QaiserModelling Exactly Once Using TLA+Part 3 - Modelling Failures and TransactionsSep 10Sep 10
ElliotThe Invariant That Wasn’tThe ability to think about a problem in reverse is helpful in identifying logical errors and gaps in thinking. The movie Tenet explores a…Jan 28Jan 28
Alexander AbramovichBeyond Tests and Assertions: Can Formal Verification Make DeFi Safer?Explore formal verification in DeFi: Learn how mathematical proofs enhance smart contract security, prevent hacks, and safeguard assets.Sep 23
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
Carl M. KadieCheck AI-Generated Code Perfectly and AutomaticallyMy Experience Applying Kani’s Formal Verification to ChatGPT-Suggested Rust CodeJun 9, 20231
ElliotThe Invariant That Wasn’tThe ability to think about a problem in reverse is helpful in identifying logical errors and gaps in thinking. The movie Tenet explores a…Jan 28
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
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