jani

Here are 2 public repositories matching this topic...

BSc. Computer Science thesis about probabilistic Sokoban models

prism probabilistic-model jani jani-model

Formal Methods Toolkit: A growing collection of containers and notebooks for working with specification languages & model checkers

storm prism alloy jani

Add a description, image, and links to the jani topic page so that developers can more easily learn about it.

To associate your repository with the jani topic, visit your repo's landing page and select "manage topics."