Synthesizing Modular Invariants for Synchronous Code

Pierre-Loic Garoche, Arie Gurfinkel, Temesghen Kahsai
January 2014
Cite DOI
Type
Conference paper
Publication
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014.
"workshop" "own"

Related