Skip to content
#

behavioral-equivalence

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 C# 1 Python 1

gowdaharshith1998-lang / OMNIX

Star 2

Graph-native platform for migrating legacy systems (Java 6/7, COBOL, .NET Framework) to modern stacks. Verifies behavioral equivalence per node with a six-gate evidence pipeline, runs old + new in parallel via a receipt-linked shadow bridge, emits cryptographically signed audit trails for regulators.

tree-sitter spring-boot property-based-testing audit-trail java-migration ml-dsa legacy-modernization graph-native shadow-deployment compliance-aligned verification-pipeline behavioral-equivalence javax-jakarta
  • Updated Jul 14, 2026
  • Python

577Industries / forge-evolve-tmpc

Star 0

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 Jul 7, 2026
  • C#

Improve this page

Add a description, image, and links to the behavioral-equivalence topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the behavioral-equivalence topic, visit your repo's landing page and select "manage topics."

Learn more