Alloy languages Software engineering 6 Atomic transition 4 Autopilot systems 4 Cerium alloys 4 Computer software 4 Dynamic logic 4 Example based 4 Linguistics 4 Operational languages 4 Requirements specifications 4 SAT-solving 4 Specifications 4 Tabular expressions 4 Tabular notation 4 Tabular specifications 4 Test harness 4 Alloy 2 Alloy analyzers 2 Alloying 2 Alloys 2 Analysis costs 2 Experimental evaluation 2 First order logic 2 Parallel analysis 2 Propositional formulas 2 SAT 2 Static analysis 2