-
Notifications
You must be signed in to change notification settings - Fork 32
Research
Yurii Kostyukov edited this page Jul 16, 2019
·
5 revisions
- Mordvinov, D. and Fedyukovich, G., 2017, May. Synchronizing Constrained Horn Clauses. In LPAR (pp. 338-355).
- Mordvinov, D. and Fedyukovich, G., 2017. Verifying Safety of Functional Programs with Rosette/Unbound. arXiv preprint arXiv:1704.04558.
- Misonizhnik, A. and Mordvinov, D., 2018. SMT-based analysis of constraints on .NET types. CEUR: 44-52, 2018.
- Misonizhnik, A. and Mordvinov, D., 2019. On Satisfiability of Nominal Subtyping with Variance. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
- FMCAD 2019 (to be published)
- Mordvinov, D. Relational invariants as solutions of non-linear constrained Hoare clauses systems. Guest talk at PSSV-2019. July 2, 2019.