![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
1st HCVS 2014: Vienna, Austria
- Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 - Emanuele De Angelis
, Fabio Fioravanti
, Jorge A. Navas, Maurizio Proietti
:
Verification of Programs by Combining Iterated Specialization with Interpolation. 3-18 - Pierre-Loïc Garoche, Arie Gurfinkel
, Temesghen Kahsai:
Synthesizing Modular Invariants for Synchronous Code. 19-30 - Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Generalised Interpolation by Solving Recursion-Free Horn Clauses. 31-38 - Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi:
Horn Clauses for Communicating Timed Systems. 39-52 - Bishoksan Kafle, John P. Gallagher
:
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. 53-67 - Alan Perotti
, Guido Boella, Artur S. d'Avila Garcez:
Runtime Verification Through Forward Chaining. 68-81
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.