README.md 77 Bytes
Newer Older
Philipp Meyer's avatar
Philipp Meyer committed
1
2
3
4
slapnet
=======

Safety and Liveness Analysis of Petri Nets with SMT solvers