Popular repositories Loading

1. cutr cutr Public

   CUTR = Concolic Unbounded-Thread Reachability via Loop Summaries

   C++ 1

2. ecut ecut Public

   eCut is the alias of explore: a dynamic cutoff detection tool

   C++

3. bws bws Public

   BWS = Backward Search for Infinite-State Systems

   C++

4. fws fws Public

   fws: using standard bounded forward search to find (un-)reachable thread states

   C++

5. ctse ctse Public

   c++ version of thread state equation

   C++

6. ijit ijit Public

   Interface for Just-In-Time translation

   C++