Hierarchical State Machines as Modular Horn Clauses

Publication
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.

Related