Random Walks

Category

FormalVerification

  1. Automatic Bytecode Expansion Extraction

  2. How to Model a CPU in Lean

  3. Equivalence Statements And Assumptions

  4. Formally Verifying Jolt (Incomplete)