DMCA

Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths.

by Sriram Sankaranarayanan , Aleksandar Chakarov , Sumit Gulwani
Citations:16 - 1 self