Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
49
stars
43
forks
source link
Some pthread functions are not supported (cond_signal) by the frontend #206
Closed
leventeBajczi closed 1 year ago