VSL 2014: VIENNA SUMMER OF LOGIC 2014

(Quantified) Horn Constraint Solving for Program Verification and Synthesis

Author: Andrey Rybalchenko

ICLP VolumesPapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:(Quantified) Horn Constraint Solving for Program Verification and Synthesis
Authors:Andrey Rybalchenko
Proceedings:ICLP 2014 VSL proceedings
Editors: Michael Leuschel, Tom Schrijvers and Martin Gebser
Keywords:
Abstract:
Pages:5
Talk:Jul 17 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program