Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis : Horn2VMT: Translating Horn Reachability into Transition Systems
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis : Horn2VMT: Translating Horn Reachability into Transition Systems
:
Horn2VMT: Translating Horn Reachability into Transition Systems
Contributor:
Bueno, Denis;
Sakallah, Karem A.
imprint:
Open Publishing Association, 2020
Published in:Electronic Proceedings in Theoretical Computer Science