A toy programming language.
A gently curated list of companies using verification formal methods in industry
https://github.com/ligurio/practical-fm Look for Coq, Agda, Idris, MS - F*.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Interested in pursuing a PhD in Formal Methods
1 project | reddit.com/r/formalmethods | 29 Jul 2022
A list of companies that use formal verification methods
1 project | news.ycombinator.com | 8 Feb 2021
Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm
1 project | news.ycombinator.com | 18 Nov 2022
SPARK Ada by Example
1 project | news.ycombinator.com | 7 Nov 2022
Formally Verifying Rust's Opaque Types
2 projects | news.ycombinator.com | 1 Aug 2022