miniblog.

Feb 17, 2018 at 11:51

Common types of implementation bugs found by RISC-V formal:

riscv-formal/docs/examplebugs.md at main · cliffordwolf/riscv-formal

RISC-V Formal Verification Framework. Contribute to cliffordwolf/riscv-formal development by creating an account on GitHub.

Sep 5, 2020 at 05:59

Implementing a formal verification tool for Rust, supporting the same API as property testing libraries! https://alastairreid.github.io/why-not-both/ Requires a remarkable amount of glue code, so this doesn't feel like a mature domain yet.

Rust testing or verifying: Why not both?

Dijkstra famously dissed testing by saying “Program testing can be used to show the presence of bugs, but never to show their absence!” As if you should choose one over the other. I don’t see them as opposites but as complementary techniques that should both be used to improve the quality of your code.

Dec 25, 2017 at 00:12

Formal Verification: The Gap Between Perfect Code and Reality https://raywang.tech/2017/12/20/Formal-Verification:-The-Gap-between-Perfect-Code-and-Reality/ Good critique of how formal verification techniques can be extremely heavyweight. Also discusses (rather pessimistically) how it's important to know which parts are not verified

Formal Verification: The Gap Between Perfect Code and Reality

Thanks to Vlad Brown and Drawings Team for Russian and Uzbek translations. In Fall 2017, I took MIT’s 6.826, Principles of Computer Systems, taught by Turing Award-winner Butler Lampson, Nickolai Z

Oct 3, 2017 at 18:22

Model-based development, formal verification, and trusting software used in cars:

The Coming Software Apocalypse

A small group of programmers wants to change how we code—before catastrophe strikes.

Related Posts