Introducing Quint: A New Company for a New Era of Software

Quint is becoming its own company, spinning out of Informal Systems to make trust a first-class property of how systems are designed and built.