PactFlow
pactflow
Contract testing for teams: the easy and safe way to ship distributed systems quickly.
Melbourne, Australia
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.