Model Finding for Recursive Functions in SMT

Andrew Reynolds, J.C. Blanchette, Simon Cruanes, Cesare Tinelli

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

15 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Model Finding for Recursive Functions in SMT'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics