h0nzZik/llvm-nts-PartialOrderReduction
Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking
C++
Issues
- 0
Use smallest (nonempty) ample
#2 opened - 0
Conditions C0 and C2 are not checked
#1 opened
Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking
C++