STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
GNU General Public License v3.0
5
stars
2
forks
source link
Add badges to multithreading #26
Closed
ifndefJOSH closed 2 years ago