Program Verification with Constrained Horn Clauses (Invited Paper)
Author: Arie Gurfinkel
Paper Information
| Title: | Program Verification with Constrained Horn Clauses (Invited Paper) |
| Authors: | Arie Gurfinkel |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | |
| Pages: | 12 |
| Paper: |  |