3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2026
Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
I. S. W. B. Prasetya, Fitsum Kifetew, Davide Prandi
Formal specifications, such as pre- and post-conditions provide a solid basis for performing thorough program verification. However, developers rarely provide such formal specifica…
cs.SE2019★ 3 cited
Having Fun in Learning Formal Specifications
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian +11
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experie…