![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![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
9th HCVS / 10th VPT@ETAPS 2022: Munich, Germany
- Geoffrey William Hamilton, Temesghen Kahsai, Maurizio Proietti:
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. EPTCS 373, 2022 - Robert Glück
, Tetsuo Yokoyama:
Reversible Programming: A Case Study of Two String-Matching Algorithms. 1-13 - Bruno Blanchet
:
The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm. 14-22 - Emanuele De Angelis, Fabio Fioravanti
, Alberto Pettorossi, Maurizio Proietti:
Contract Strengthening through Constrained Horn Clause Verification. 23-34 - Hossein Hojjat, Philipp Rümmer:
OptiRica: Towards an Efficient Optimizing Horn Solver. 35-43 - Emanuele De Angelis, Hari Govind V. K.:
CHC-COMP 2022: Competition Report. 44-62
![](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.