Metoden skapar enligt Nasa för första gången en möjlighet att vara helt säker på att en implementation verkligen möter sin specifikation och att det färdiga systemet fungerar korrekt.
Du slipper också besväret att konstruera en formell specifikation, vilket dagens kodgeneratoranvändare är tvingade till.
Resultatet: pålitligare programvara, kortare utvecklingstid och inga programmerarbuggar.
Tekniken utvecklades för att skriva styrkod för svärmar av rymdfarkoster men kan användas överallt där regelbaserad systemutveckling används idag, som simulering och modellering, automation, sensornät, smart grid och robotik.
Läger du upp en miljon dollar nu, får du köpa patenten direkt.
Pressreleasen om erbjudandet är undertecknat Foresight Science & Technology som beskriver sig som konsult åt Nasas för kommersialiseringssupport.