Back to Results
First PageMeta Content
Model theory / Formal languages / Constraint programming / Logical syntax / Interpretation / Constructible universe / Well-formed formula / Satisfiability / Function / Logic / Mathematics / Mathematical logic


Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken
Add to Reading List

Document Date: 2010-05-07 20:34:22

Open Document

File Size: 505,61 KB

Share Result on Facebook

Company

CNF / Basic Algorithm / /

/

IndustryTerm

simplification algorithm / on-line simplification / on-line simplification algorithm / program analysis systems / software verification techniques / experience using on-line simplification / on-line constraint simplification / software verification / /

OperatingSystem

L3 / /

Organization

Department of Computer Science / Stanford University / /

Product

Mistral / Tseitin / /

ProgrammingLanguage

C / /

Technology

simplification algorithm / simulation / proposed algorithm / on-line simplification algorithm / 4 Algorithm / /

SocialTag