DeepAI
Log In Sign Up

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

07/08/2019
by   Emanuele De Angelis, et al.
0

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech Republic on 6th and 7th April, respectively, as affiliated workshops of ETAPS.

READ FULL TEXT
09/09/2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

This volume contains the post-proceedings of the 8th Workshop on Horn Cl...
08/16/2019

Proceedings Seventh International Workshop on Verification and Program Transformation

This volume contains a final and revised selection of papers presented a...
08/23/2017

Proceedings Fifth International Workshop on Verification and Program Transformation

This volume contains the proceedings of the Fifth International Workshop...
05/15/2019

Proceedings ML Family / OCaml Users and Developers workshops

This volume contains the joint post-proceedings of the 2017 editions of ...
02/02/2021

Report of the Workshop on Program Synthesis for Scientific Computing

Program synthesis is an active research field in academia, national labs...
01/01/2021

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

The proceedings of the 6th International Workshop on Symbolic-Numeric Me...
09/12/2018

Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Many Program Verification and Synthesis problems of interest can be mode...