2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2017★ 2 cited
Causality-based Model Checking
Bernd Finkbeiner, Andrey Kupriyanov
Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-ef…
cs.FL2016
Array Folds Logic
Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov
We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statement…