A Toolchain for AI-Assisted Code Specification, Synthesis and Verification

Design of an AI-assisted toolchain—comprising tools named Formalize, Construct, and Translate—to integrate into critical engineering workflows for code specification, synthesis, and verification.

Endorsements support Atlas Computing.

Discussion

Start Date

-

End Date

-

Expected Duration

-

Funding Raised to Date

-