[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/concepts/axiomatic_semantics.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "axiomatic semantics" type: concept source: https://www.jemoka.com/posts/kbhaxiomatic_semantics/ confidence: high status: active --- Pre-conditions and post-conditions for specify logical formula; this is the basis of verification systems.