7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Dmitry Mordvinov, Grigory Fedyukovich
The goal of unbounded program verification is to discover an inductive invariant that safely over-approximates all possible program behaviors. Functional languages featuring higher…