2 papers
cs.SE2026
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…
cs.SE2024
Specification Slicing for VDM-SL
Tomohiro Oda, Han-Myung Chang
The executable specification is one of the powerful tools in lightweight formal software development. VDM-SL allows the explicit and executable definition of operations that refere…