Link Search Menu Expand Document

Model Based Testing @ Informal Systems

At Informal Systems we aim to incorporate formal methods into everyday development practice. On the practical side, we develop tools and techniques that help developers to increase confidence in their code via automated generation and execution of tests derived from TLA+ models.

Table of contents