Waterloo Formal Methods Lab (WatForm) (@WatForm)
Guthub

WatForm

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Org. Rank 123,895 (Top 40 %)
  • Registered over 4 years ago
  • Most used languages
    Java
         33.3 %
    Scala
         33.3 %
    TLA     33.3 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 17,337
  • Country Ranking
    TLA     4
    Scala
         173
    Java
         2,003

Top repositories

1

aldb

A debugger for transition systems modelled in Alloy
Java
6
star
2

fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic
Scala
5
star
3

watform-models

TLA
3
star