ABZ 2021 Talks

Hd-Sec presents three accpeted papers In ABZ 2021 8th International Conference on Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, 9-11th June 2021, Virtual event:

• Verifying System-level Security of a Smart Ballot Box. (slides)
• Extensible Record Structures in Event-B. (slides)
• The CamilleX Framework for the Rodin Platform. (slides)