Trace-Based Execution-Level Observability of VDM-SL Specifications

Tomohiro Oda, Han-Myung Chang

VDM has been pursuing rigorous verification through mathematical theorem proving and software testing via simulated execution. Animation through an interpreter enables validation o…