John Backes
- Resolute: An Assurance Case Language for Architecture Models
2014/09/16 by Andrew Gacek, Gacek, Andrew, John Backes +6 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
- 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