c2i

swMATH19488MaRDI QIDQ31315FDOQ31315

Author name not available (Why is that?)

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

Cited In (12)

• 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
• 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