Ivo - a free software for unfolding 3D models and papercrafting
-
Updated
Apr 7, 2019 - C++
#
unfolding
Here are 3 public repositories matching this topic...
A model checker for safe Petri nets based on partial-order semantics
concurrency planning model-checking petri-nets formal-verification unfolding partial-order-reduction
-
Updated
Nov 30, 2020 - C++
Improve this page
Add a description, image, and links to the unfolding topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unfolding topic, visit your repo's landing page and select "manage topics."