Cerium alloys Computer software 6 SAT-solving 6 Alloy 4 Alloy languages 4 Alloying 4 Alloys 4 Atomic transition 4 Autopilot systems 4 Code analysis 4 DynAlloy 4 Dynamic logic 4 Example based 4 Linguistics 4 Operational languages 4 Propositional formulas 4 Requirements specifications 4 SAT-based code analysis 4 Software engineering 4 Specifications 4 Static analysis 4 Tabular expressions 4 Tabular notation 4 Tabular specifications 4 Test harness 4 Tools 4 X ray photoelectron spectroscopy 4 XPS 4 Abstracting 2 Alloy analyzers 2