Musab Alturki

Brandon Moore

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

k-vs-coq.png

K vs. Coq as Language Verification Frameworks (Part 1 of 3)

k-vs-coq-2.png

K vs. Coq as Language Verification Frameworks (Part 2 of 3)

k-vs-coq-3.png

K vs. Coq as Language Verification Frameworks (Part 3 of 3)

Karl Palmskog

Lucas Pena

rv-and-algorand.png

Algorand

Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)

Undefined Behavior Review: tis-interpreter vs. RV-Match

news-gazette-interview.png

K Developer Interviewed in Illinois Paper

Author: Brandon Moore

Categories