research
∙
04/01/2023
Topologically sorting VDM-SL definitions for Isabelle/HOL translation
There is an ecosystem of VDM libraries and extensions that includes a tr...
share
research
∙
03/28/2023
Specification-based CSV Support in VDM
CSV is a widely used format for data representing systems control, infor...
research
∙
03/28/2020
