Backes, John
- The JKind Model Checker
2017/12/04 by Gacek, Andrew, Backes, John, Whalen, Mike +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
2017/09/14 by Andreas Katis, Grigory Fedyukovich, Katis, Andreas +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