~/Formal Methods

Brandon Rozek

Photo of Brandon Rozek

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

Here you'll find 11 posts about Formal Methods .

March, 2024

Lean 4 Tutorial


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 3 Theorem Prover Tactics


December, 2019

Theorem Proving Definitions