Evaluate k-induction without UF - Githubissues

chsticksel / kind2-dev

0 stars 0 forks source link

Evaluate k-induction without UF #286

Open chsticksel opened 9 years ago

chsticksel commented 9 years ago

To do :

implement UF-free path compression using distinct
explicit unrolling of the state variables using constant function symbols instead of UF

Bitbucket: https://bitbucket.org/kind2-mc/kind2/issue/7
Originally reported by: Adrien Champion
Originally created at: 2014-10-28T20:48:47.124