---
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.
