h0nzZik / llvm-nts-PartialOrderReduction

Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking

This repository is not active

Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking

Language:C++ 91.1%Language:LLVM 7.7%Language:CMake 0.4%Language:Shell 0.4%Language:C 0.3%Language:Makefile 0.1%