1 articles in this issue
Peter W. V. Tran-Jørgensen
When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of VDM models by ... see more