electrum software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

A model checker for relational first-order temporal specifications
Share - Bookmark