c2i

MaRDI QIDQ31315swMATHFDO

Official website http://link.springer.com/article/10.1007%2Fs10703-016-0248-5

Cited in

(13)

• A learning-based approach to synthesizing invariants for incomplete verification engines
• ICE-based refinement type discovery for higher-order functional programs
• From invariant checking to invariant inference using randomized search
• FLATA
• Princess
• InvGen
• HMC
• Houdini
• VS3
• Bex
• Learning inductive invariants by sampling from frequency distributions
• Synchrobench
• Relational program reasoning using compiler IR

This page was built for software: c2i