Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subjects: Machine learning, Machine theory, Computer science, Software engineering, Programming languages (electronic computers), Logic, symbolic and mathematical, Logic design, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computation by Abstract Devices