research
∙
11/08/2021
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Regular expressions are a classical concept in formal language theory. R...
share
research
∙
11/24/2017
Exploring Approximations for Floating-Point Arithmetic using UppSAT
We consider the problem of solving floating-point constraints obtained f...
research
∙
10/30/2017
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
We consider the problem of automatically verifying that a parameterized ...
research
∙
09/21/2017
