6 citations · 6 across the 3 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
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…
cs.SE2021★ 6 cited
Proceedings of the 18th International Overture Workshop
John Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was the latest in a series of workshops around t…