14 citations · 28 across the 9 of their papers we have counts for
3 papers · 1 filter
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
Bidirectional UML Visualisation of VDM Models
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1
Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…