c2i
From MaRDI portal
Software:31315
No author found.
Related Items (5)
Relational program reasoning using compiler IR ⋮ A learning-based approach to synthesizing invariants for incomplete verification engines ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ From invariant checking to invariant inference using randomized search ⋮ ICE-based refinement type discovery for higher-order functional programs
This page was built for software: c2i
