WoofWare.PawPrint: un runtime determinista para .NET inspirado en CHESS
WoofWare.PawPrint es un runtime determinista para .NET inspirado en CHESS, el sistema de Microsoft Research para la verificación sistemática de programas concurrentes. El proyecto, publicado en NuGet en una versión inicial, interpreta el IL (lenguaje intermedio) de .NET 10 y reemplaza únicamente los
