132 citations · 182 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Data-Driven Template-Free Invariant Generation
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman +1
Automatic verification of concurrent programs faces state explosion due to the exponential possible interleavings of its sequential components coupled with large or infinite state…
cs.PL2023★ 4 cited
The SyGuS Language Standard Version 2.1
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman +2
The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Syntax-guided synthesis (SyGuS) i…