research
∙
12/11/2021
CertiStr: A Certified String Solver (technical report)
Theories over strings are among the most heavily researched logical theo...
share
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...
research
∙
04/17/2018
K-Rust: An Executable Formal Semantics for Rust
Rust is a system programming language designed for providing better memo...
research
∙
04/04/2018
