Computer-Hindered Verification (Humans Can Do It Too)
Abstract elided by the publisher.
Related papers
- Object-Oriented Practice in 1998: Does it help or hinder collaboration? (Panel) OOPSLA 1998
- Thin slicing PLDI 2007
- Programming Languages for AI Programing Agents (Invited Talk) DLS 2023
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018
- VerifyThis - Verification Competition with a Human Factor TACAS 2019
- programmingLanguage as Language; Onward! 2023
- A Bit Too Precise? Bounded Verification of Quantized Digital Filters TACAS 2012
- Specification Inference Using Context-Free Language Reachability POPL 2015