Golem: a flexible and efficient solver for constrained Horn clauses
Additional information
Authors
Sharygina N.,
Blicha M.,
Britikov K.
Type
Journal Article
Year
2025
Language
English
Journal
Formal Methods in System Design
