3 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.SE2025
Enhancing Code Quality with Generative AI: Boosting Developer Warning Compliance
Hansen Chang, Christian DeLozier
Programmers have long ignored warnings, especially those generated by static analysis tools, due to the potential for false-positives. In some cases, warnings may be indicative of…
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…