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

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 ,