Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022.
Published in: HCVS/VPT@ETAPS (2022)
Keyphrases
- symbolic execution
- model checking
- hardware designs
- international workshop
- lecture notes
- lecture notes in artificial intelligence
- expert systems
- selected papers
- international conference
- horn clauses
- conference proceedings
- acm sigkdd
- database
- general purpose
- inductive logic programming
- advances in artificial intelligence