Dynamic logic Software engineering 6 Alloy 4 Alloy languages 4 Atomic transition 4 Automation 4 Autopilot systems 4 Cerium alloys 4 Computer programming languages 4 Computer software 4 Example based 4 Formal logic 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 Abstracting 2 Algebra 2 Automatic analysis 2 Computational complexity 2 Computer hardware description languages 2 DynAlloy 2 Dynamic programming 2 Fork algebras 2 Logic design 2