prismmodelchecker/prism-api

Issues

• Is it possible to add an example with synchronization?

  #4 opened a year ago by williamzhao1999
  8

• Where to find tutorial on programmatically prism with java?

  #2 opened a year ago by diolegend
  9

• Multiple modules like in prism language

  #3 opened a year ago by diolegend
  0