Grigory Fedyukovich

Identifiers

No identifiers captured yet.

Papers (3)

1. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #2
2. Verifying Safety of Functional Programs with Rosette/Unbound cs.SE · 2017 · author #2
3. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Andreas Katis 2 shared papers
• Andrew Gacek 2 shared papers
• Arie Gurfinkel 2 shared papers
• John Backes 2 shared papers
• Michael W. Whalen 2 shared papers
• Dmitry Mordvinov 1 shared papers
• Huajun Guo 1 shared papers