Skip to content
New issue

Model Checker [ _ ]

No due date 84% complete

Simple Model Checker for Petri Nets and Boolean Networks.

McNet : Saturation-like forward and backward ⏰ benchmark New or changes to existing benchmark
#128 opened Jul 17, 2024 by SSoelvsten
2 tasks
McNet : Loop Unrolling with Pivot being the Initial State ⏰ benchmark New or changes to existing benchmark 🎓 student programmer Work, work
#144 opened Oct 17, 2024 by SSoelvsten