Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
49
stars
43
forks
source link
The WebDebuggerLogger is always enabled and it is responsible for a considerable portion of runtime. #208
Closed
leventeBajczi closed 2 weeks ago