default search action

combined dblp search
author search
venue search
publication search

ask others

3rd HCVS@ETAPS 2016: Eindhoven, The Netherlands

> Home > Conferences and Workshops > HCVS
> 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/GallagherR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GallagherR16
John P. Gallagher, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeyenePR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeyenePR16
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko:
Efficient CTL Verification via Horn Constraints Solving. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GarocheKT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GarocheKT16
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux:
Hierarchical State Machines as Modular Horn Clauses. 15-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Schrammel16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schrammel16
Peter Schrammel:
Challenges in Decomposing Encodings of Verification Problems. 29-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KafleGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KafleGG16
Bishoksan Kafle, John P. Gallagher, Pierre Ganty:
Solving non-linear Horn clauses using a linear Horn clause solver. 33-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFPP16
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. 49-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Paganelli16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Paganelli16
Gabriele Paganelli:
Horn Binary Serialization Analysis. 56-68

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.