Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Seeliger, Maximilian"'
Autor:
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Saadat, Milad, Seeliger, Maximilian, Žikelić, Đorđe
Polynomial Horn clauses with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyHorn which is a tool for solving polynomial Horn clauses in which variables on both sides of t
Externí odkaz:
http://arxiv.org/abs/2408.03796
