cryptica/slapnet
Safety and Liveness Analysis of Petri Nets with SMT solvers
Developer Profile
cryptica
Discovered public repositories for cryptica in the GitHub catalog.
cryptica/master-thesis
Public repository.
cryptica/CodeEval
My code for the challenges at codeeval.com
cryptica/dotfiles
Configuration files for my home directory, managed with homesick.
cryptica/mist
Safety checker for Petri Nets (and some extensions)
cryptica/pnerf
Petrinizer: A Constraint-Based Model Checker for Petri Nets
cryptica/bachelor-thesis
Public repository.
cryptica/modal-refinement
Public repository.