Refinement and Term Synthesis in Loop Invariant Generation

Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Refinement and Term Synthesis in Loop Invariant Generation'. Together they form a unique fingerprint.

Computer Science

Biochemistry, Genetics and Molecular Biology

Engineering