1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
The Vienna Architecture Description Language
Florian Freitag, Linus Halder, Simon Himmelbauer +12
The Vienna Architecture Description Language (VADL) is a powerful processor description language (PDL) that enables the concise formal specification of processor architectures. By…
cs.SE2023
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…