research
∙
11/22/2022
OptiRica: Towards an Efficient Optimizing Horn Solver
This paper describes an ongoing effort to develop an optimizing version ...
share
research
∙
09/09/2021
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
This volume contains the post-proceedings of the 8th Workshop on Horn Cl...
research
∙
02/19/2021
DyNetKAT: An Algebra of Dynamic Networks
We introduce a formal language for specifying dynamic updates for Softwa...
research
∙
01/08/2018