AI-assisted modernization of C#/.NET mission-planning software with behavioral-equivalence proof and continuous-ATO artifacts. U.S. Navy SBIR DON26BZ01-NV013 reference implementation. Runnable offline (no API keys); synthetic, unclassified surrogate; results preliminary, not government-validated.
csharp roslyn dotnet devsecops legacy-code sbir behavioral-equivalence ai-modernization continuous-ato navair 577-industries 577i-program-forge-evolve
-
Updated
Sep 2, 2026 - C#