Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA${}^{+}$

Paolo Dini, Manuel Bravo, Philipp Paulweber +2

The main aim of this report is to provide an introductory tutorial on the Abstract State Machines (ASM) specification method for software engineering to an audience already familia…