34 citations · 135 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
NP Satisfiability for Arrays as Powers
Rodrigo Raya, Viktor Kunčak
We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is in NP. As an application, we extend the combinator…
cs.LO2021
Proving and Disproving Programs with Shared Mutable Data
Georg Schmid, Viktor Kunčak
We present a tool for verification of deterministic programs with shared mutable references against specifications such as assertions, preconditions, postconditions, and read/write…