6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2021
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails
Yu-Shan Sun, Daniel Welch, Murali Sitaraman
This paper summarizes our efforts to aid human reasoning when verification fails through the use of two distinct Formalization Integrated Development Environments (F-IDEs) that we…
cs.SE2015★ 6 cited
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
Nabil M. Kabbani, Daniel Welch, Caleb Priester +4
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, compone…