Share :

kind2-mc

Kind 2 Model Checker

@kind2-mc

The University of Iowa 🇺🇸

Refresh user

Last updated : 12:14AM UTC, Oct 3rd 2021

36 - Rank 234 855 🌍

OCaml

Ranking:

World: 419 / 3227

United States of America 🇺🇸: 90 / 675

Iowa City: 1 / 1

1 repository

#419
33

Java

Ranking:

World: 286096 / 311069

United States of America 🇺🇸: 25752 / 27391

Iowa City: 14 / 14

1 repository

#286096
1

Shell

Ranking:

World: 128006 / 135079

United States of America 🇺🇸: 20265 / 21113

Iowa City: 12 / 12

1 repository

#128006
1

SMT

Ranking:

World: 90 / 96

United States of America 🇺🇸: 23 / 24

Iowa City: 1 / 1

1 repository

#90
1