


default search action
6th HCVS / 3rd PERR 2019: Prague, Czech Republic
- Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich

:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 - Mihai Herda

, Michael Kirsten
, Etienne Brunner, Joana Plewnia
, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner
, Pascal Zwick, Bernhard Beckert
:
Understanding Counterexamples for Relational Properties with DIbugger. 6-13 - Ozan Kahramanogullari

:
On Quantitative Comparison of Chemical Reaction Network Models. 14-27 - Qi Zhou, David Heath, William Harris:

Relational Verification via Invariant-Guided Synchronization. 28-41 - Daniel Dietsch, Matthias Heizmann

, Jochen Hoenicke
, Alexander Nutz, Andreas Podelski:
Ultimate TreeAutomizer (CHC-COMP Tool Description). 42-47 - Emanuele De Angelis

, Fabio Fioravanti
, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. 48-75

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














