Regular expressions are a classical concept in formal language theory.
R...
We consider the problem of solving floating-point constraints obtained f...
We consider the problem of automatically verifying that a parameterized
...
We revisit the classic problem of proving safety over parameterised
conc...
share