1 citations · 2 across the 6 of their papers we have counts for
6 papers
Proceedings of the 22nd International Overture Workshop
Hugo Daniel Macedo, Ken Pierce, Leo Freitas
This volume contains the papers presented at the 22nd International Overture Workshop, held on the 10th of September 2024. This event was the latest in a series of workshops around…
International System of Quantities library in VDM
Leo Freitas
The International Systems of Quantities (ISQ) standard was published in 1960 to tame the wide diversity of measurement systems being developed across the world, such as the centime…
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…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…