FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: