Login / Signup
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations.
Taolue Chen
Matthew Hague
Anthony W. Lin
Philipp Rümmer
Zhilin Wu
Published in:
CoRR (2018)
Keyphrases
</>
decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
database
model theoretic
machine learning
high level
fixpoint