1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2025★ 1 cited
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Jan Corazza, Ivan Gavran, Gabriela Moreira +1
When blockchain systems are said to be trustless, what this really means is that all the trust is put into software. Thus, there are strong incentives to ensure blockchain software…
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…