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
