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
-
Updated
Jun 1, 2026 - C#