Papers and presentations

• we presented at ABZ 2025:
  • Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene and Simone Valentini. Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts.
  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli and Patrizia Scandurra. Safety enforcement for autonomous driving on a simulated highway using Asmeta models@run.time.
• we presented at NFM 2025:
  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Nico Pellegrinelli. Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications.

News in the releases of the tools

change log on the development repo