Example image of eyePlorer eyePlorer map for 'Abstract state machines': Binary relation Computer science Finite-state machine Function (mathematics) Mathematical logic Mathematical structure Operation (mathematics) Set (mathematics) State (computer science) Requirements analysis Systems engineering Software agent Distributed computing Program refinement Verification and Validation (software) Algorithm Church–Turing thesis Turing machine Yuri Gurevich Abstraction Emulator Axiomatic system Invariant (mathematics) Isomorphism State transition table Parallel computing Universal algebra Computer software Formal specification Personal computer hardware C (programming language) Design language Java (programming language) Programming language Prolog Specification and Description Language Unified Modeling Language Oxford University Press Springer Science+Business Media Abstract State Machine Language CoreASM APCB Z User Group VIATRA KeY ASM Formal methods