dezyne

Dezyne is a programming language and set of tools (https://doc.verum.com/download.html) that aim to eliminate the need for testing by applying formal verification methods.