GitHub - informalsystems/quint: An executable specification

An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Related Keywords

Vienna , Wien , Austria , Thomas Pani , Igor Konnov , Shon Feder , Ivan Gavran , Philip Offtermatt , Gabriela Moreira , Romain Ruetschi , Ranadeep Biswas , Vienna Business Agency , , Temporal Logic , Secret Santa , Jure Kukovec , Vienna Business ,