[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/concept/kbhfloyd_s_invariant_method.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "Floyd's Invariant Method" source: https://www.jemoka.com/posts/kbhfloyd_s_invariant_method/ --- 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.