Published July 10, 2026 | Version v1
Preprint Open

AI Contract Programming: Preconditions, Postconditions, and Invariants for Agentic Systems

Authors/Creators

  • 1. Odessa National Polytechnic University

Description

Research article: AI Contract Programming: Preconditions, Postconditions, and Invariants for Agentic Systems

Files

2863.md

Files (7.2 kB)

Name Size Download all
md5:2d7016425100def58fa61c83cc1b17b8
7.2 kB Preview Download