6 citations · 10 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Gradually Verifying Unfolding Expressions & Pure Functions
Hazel Torek, Long Tien Nguyen, Priyam Gupta +2
Unfolding expressions, which temporarily unfold a predicate to leverage its owned fields when evaluating a heap-dependent expression, and pure functions, which are heap-dependent f…
cs.SE2026
An Empirical Study of LLM-Generated Specifications for VeriFast
Wen Fan, Minh Tran, Sanya Dod +5
Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on…