albertocasagrande/pyModelChecking

Issues

• model checking on finite trace

  #12 opened 2 months ago
  1

• Any way to describe `==`, `>=`, `<=`... and other comparator symbols.

  #11 opened 4 months ago
  3

• Publish the package on conda-forge

  #5 opened 3 years ago
  4

• RuntimeError when checking CTL formula

  #4 opened 4 years ago
  1

• modelcheck results are not clear

  #3 opened 5 years ago
  2

• The `modelcheck` function does not always return the same result

  #2 opened 5 years ago
  0

• Test problem

  #1 opened 6 years ago
  2