33 citations · 49 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
The JKind Model Checker
Andrew Gacek, John Backes, Mike Whalen +2
JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety prop…
cs.SE2017
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
Andreas Katis, Grigory Fedyukovich, Huajun Guo +4
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of re…