[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/concepts/floyd_s_invariant_method.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "Floyd's Invariant Method" type: concept related: [Finite State Machine] source: https://www.jemoka.com/posts/kbhfloyd_s_invariant_method/ confidence: high status: active --- To prove properties on Finite State Machines, we can construct a proof: stating an invariant proving that the invarient is true for all states for all transitions: assume invarient is true before transition and prove that its true after So, essentially induction.