open source
The Specification Kept Its Execution Trail
ViennaTalk records assignments, calls and returns so an interpreted VDM-SL run can be revisited as state.
Summary
ViennaTalk records assignments, calls and returns so an interpreted VDM-SL run can be revisited as state.
The workshop paper proposes a trace event model and visualization path for persistent analysis of simulated specification behavior. It describes tooling, not a proof that the specification is correct.
Why it matters
ViennaTalk records assignments, calls and returns so an interpreted VDM-SL run can be revisited as state.
Limits and context
- It describes tooling, not a proof that the specification is correct.
Key claims
ViennaTalk records assignments, calls and returns so an interpreted VDM-SL run can be revisited as state.
Qualification: It describes tooling, not a proof that the specification is correct.
Evidence: source-2026-08-22-018
Sources
- arXiv preprint 2608.19510arXiv · primary research
Corrections
No corrections have been recorded for this story.