Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Somorjai, Márk"'
Publikováno v:
EPTCS 402, 2024, pp. 105-117
Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized techniques, including direct state space traversal or under-approximating abstr
Externí odkaz:
http://arxiv.org/abs/2404.15215
