11 citations · 13 across the 4 of their papers we have counts for
4 papers
Topologically sorting VDM-SL definitions for Isabelle/HOL translation
Leo Freitas
There is an ecosystem of VDM libraries and extensions that includes a translation and proof environment for VDM in Isabelle. Translation works for a large subset of VDM-SL and furt…
VDM recursive functions in Isabelle/HOL
Leo Freitas, Peter Gorm Larsen
For recursive functions general principles of induction needs to be applied. Instead of verifying them directly using the Vienna Development Method Specification Language (VDM-SL),…
Specification-based CSV Support in VDM
Leo Freitas, Aaron John Buhagiar
CSV is a widely used format for data representing systems control, information exchange and processing, logging, etc. Nevertheless, the format is riddled with tricky corner cases a…
Security Analysis of the Open Banking Account and Transaction API Protocol
Paolo Modesti, Leo Freitas, Qudus Shotomiwa +1
The Second Payment Services Directive (PSD2) of the European Union aims to create a consumer-friendly financial market by mandating secure and standardised data sharing between ban…