1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 1 cited
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…
cs.FL2023★ 1 cited
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),…
cs.SE2023
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…