~/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