WatForm/aldb WatForm/aldb

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
WatForm/aldb
github

WatForm

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A debugger for transition systems modelled in Alloy

More Repositories

1

fortress

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

watform-models

TLA
3
star