Whalen, Michael W.
- Reasoning about Algebraic Data Types with Abstractions
2016/03/29 by Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W. · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
2017/09/14 by Andreas Katis, Katis, Andreas, Grigory Fedyukovich +11 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering (cs.SE) #Software Engineering Research