issues
search
favu100
/
b2program
READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH
5
stars
3
forks
source link
Add goal for model checking
#21
Open
favu100
opened
2 years ago
favu100
commented
2 years ago
It should be possible to apply model checking, searching for a goal
It should be possible to apply model checking, searching for a goal