default search action

combined dblp search
author search
venue search
publication search

ask others

9th HCVS / 10th VPT@ETAPS 2022: Munich, Germany

> Home > Conferences and Workshops > HCVS
> Home > Conferences and Workshops > VPT
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-10675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-10675
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12225
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12225
Robert Glück, Tetsuo Yokoyama:
Reversible Programming: A Case Study of Two String-Matching Algorithms. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12227
Bruno Blanchet:
The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm. 14-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12228
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12228
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Contract Strengthening through Constrained Horn Clause Verification. 23-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12229
Hossein Hojjat, Philipp Rümmer:
OptiRica: Towards an Efficient Optimizing Horn Solver. 35-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12231
Emanuele De Angelis, Hari Govind V. K.:
CHC-COMP 2022: Competition Report. 44-62

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.