quint.validate function

Validation of a Qualitative Interaction Tree

quint packageRead PDF manual
  • Maintainer: Elise Dusseldorp
  • License: GPL (>= 3)
  • Last published: 2022-07-01

Useful links