c2i

MaRDI QIDQ31315swMATHFDO

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

Cited in

(13)

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

This page was built for software: c2i