Symbolic Automata Constraint Solving
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 640-654
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Symbolic String Verification: Combining String Analysis and Size AnalysisLecture Notes in Computer Science, 2009
- Symbolic String Verification: An Automata-Based ApproachLecture Notes in Computer Science, 2008
- Analyzing Context-Free Grammars Using an Incremental SAT SolverLecture Notes in Computer Science, 2008
- Z3: An Efficient SMT Solver2008
- Static checking of dynamically generated queries in database applicationsACM Transactions on Software Engineering and Methodology, 2007
- A Decision Procedure for Bit-Vectors and Arrays2007
- Conservative Ambiguity Detection in Context-Free GrammarsLecture Notes in Computer Science, 2007
- Precise Analysis of String Expressions2003
- Greibach Normal Form Transformation RevisitedInformation and Computation, 1999
- Mona & Fido: The logic-automaton connection in practice1998