Counterexample generation for program verification based on ownership refinement types.

Hideto Ueno John Toman Naoki Kobayashi Takeshi Tsukada

Published in: PEPM@POPL (2021)

Keyphrases

real time
model checking
database
formal verification
databases
data mining
knowledge base
support vector
lower bound
expert systems
generation algorithm