activity
20062018
most citedSynthesis of models for order-sorted first-order theories using linear algebra and constraint solving

3 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Proving Program Properties as First-Order Satisfiability

Salvador Lucas

Program semantics can often be expressed as a (many-sorted) first-order theory S, and program properties as sentences which are intended to hold in the canonical model of such…