c2i
From MaRDI portal
Software:31315
swMATH19488MaRDI QIDQ31315FDOQ31315
Author name not available (Why is that?)
Cited In (5)
- 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
- Learning inductive invariants by sampling from frequency distributions
- Relational program reasoning using compiler IR
This page was built for software: c2i
