~/Formal Methods

Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Here you'll find 10 posts about Formal Methods .

March, 2023

Lean 3 Tutorial

January, 2023

Induction in Lean 3: Three Techniques

Readable Lean 3 Proofs

December, 2022

Obtaining Multiple Solutions Z3

February, 2022

Loop Invariants

Reasoning through Loops in Dafny

Program Verification with Hoare Logic and Dafny

Dafny v3.3 Show Countermodel

October, 2021

Lean Theorem Prover Tactics

December, 2019

Theorem Proving Definitions