John Backes | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Arie Gurfinkel
14 publications
Grigory Fedyukovich
6 publications
Andrew Gacek
4 publications
Andreas Katis
2 publications
Michael W. Whalen
2 publications
Mike Whalen
1 publication
Lucas Wagner
1 publication
Elaheh Ghassabani
1 publication
Huajun Guo
1 publication

research

∙ 12/04/2017

The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell C...

0 Andrew Gacek, et al. ∙

research

∙ 09/14/2017

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Automated synthesis of reactive systems from spe- cifications has been a...

0 Andreas Katis, et al. ∙

Success!

An error occurred