.png){kind=icon}
Return
Engineering Agentic Systems: Toward Verification-First AIware Engineering
.png){kind=icon}
PRE
AI
DOI：10.1109/ms.2026.3697911.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Agentic systems are transforming software engineering from a code-centric discipline toward AIware engineering, where intelligence is deliberately allocated across foundation models, on-demand generated software, and external tools. The central challenge is no longer generating behaviours, but verifying them at scale. Verification-Driven AIware Engineering addresses this challenge by treating verifiability as a first-class design objective, deliberately decomposing problems to enable scalable verification.
Keywords:
Special issues and sections
Agentic AI
Formal verification
Feedback loop
Software engineering
Codes
Encoding
Scalability
Human in the loop
Multi-agent systems
Journal
IF:
3
Papers:
3.2K
Citations:
3.6K
Organization
View more organizations
Cited Papers
No cited papers available