research
∙
04/06/2023
Compression of enumerations and gain
We study the compressibility of enumerations, and its role in the relati...
share
research
∙
03/27/2023
A Generalized Hybrid Hoare Logic
Deductive verification of hybrid systems (HSs) increasingly attracts mor...
research
∙
10/31/2022
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic
We present a tool for verification of hybrid systems expressed in the se...
research
∙
07/31/2022
Active Learning of One-Clock Timed Automata using Constraint Solving
Active automata learning in the framework of Angluin's L^* algorithm has...
research
∙
05/28/2019
NIL: Learning Nonlinear Interpolants
Nonlinear interpolants have been shown useful for the verification of pr...
research
∙
05/15/2019
holpy: Interactive Theorem Proving in Python
The design of modern proof assistants is faced with several sometimes co...
research
∙
02/05/2018