Marimba software on GitHub

Software OPEN SOURCE

Marimba is a model checker for HMMs whose specification language is the logic POCTL*.
Share - Bookmark