![]() Logipedia - Project that aims to share formal proofs between several systems.The business case for formal methods (2020) ( Lobsters) ( HN).Proof Assistants At the Hardware-Software Interface (2020).SwiftCSP - Constraint satisfaction problem solver written in pure Swift.Provably Correct Peephole Optimizations with Alive (2019).A Domain-Specific Language for Verifying Software Requirement Constraints.MIT Programming Languages & Verification Group. ![]() ![]() Verified Software Toolchain - Includes static analyzers to check assertions about your program optimizing compilers to translate your program to machine language.HOL Light - Computer program to help users prove interesting mathematical theorems completely formally in higher order logic.F* - Verification system for effectful programs.Why don't people use formal methods? (2019) ( HN).What, Why, and How of Formal Methods (2019).The act of translating it into math, even "sloppy" math, is a great first past for seeing issues more clearly. I like to start with a full english description, and then write things as FOL predicates.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |