Propositional variables Java programming language 6 Propositional formulas 6 SAT-based bounded verification 6 Alloy 4 Code analysis 4 Computer software 4 Data flow analysis 4 Data structures 4 DynAlloy 4 Empirical evaluations 4 Formal logic 4 KodKod 4 Linked data structures 4 Model checking 4 Program translators 4 SAT solvers 4 SAT-based code analysis 4 Sequential programs 4 Static analysis 4 Alloying 2 Automated techniques 2 Boolean functions 2 Bounded program verifications 2 Bounded verifications 2 Cerium alloys 2 Computational complexity 2 Computer software selection and evaluation 2 Data handling 2 Dataflow analysis 2