vix.ing · top · new · best · stats · spec

Katis, Andreas

  1. 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