On Strings in Software Model Checking
No abstract available.
Related papers
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Pareto Curves for Compositionally Model Checking String Diagrams of MDPs TACAS 2024
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Polyregular Model Checking CAV 2025
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001
- Sound and precise analysis of web applications for injection vulnerabilities PLDI 2007
- Simple and safe SQL queries with c++ templates GPCE 2007
- String solving with word equations and transducers: towards a logic for analysing mutation XSS POPL 2016