Propositional formulas Alloy 8 Alloy analyzers 6 Alloying 6 Alloys 6 Propositional variables 6 SAT solvers 6 SAT-based bounded verification 6 Static analysis 6 Cerium alloys 4 Code analysis 4 Data domains 4 Data structures 4 DynAlloy 4 Formal logic 4 Java programming language 4 KodKod 4 Linked data structures 4 Model checking 4 Parallel analysis 4 Program translators 4 SAT-based code analysis 4 SAT-solving 4 Sequential programs 4 Tools 4 Abstracting 2 Alloy calculus 2 Alloy languages 2 Analysis costs 2 Automated techniques 2