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
∙
02/08/2021
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)
We present a general framework for modelling and verifying epistemic pro...
research
∙
07/14/2020
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Strings are widely used in programs, especially in web applications. Int...
research
∙
04/26/2020