Trace-Based Execution-Level Observability of VDM-SL Specifications
The recording and utilization of execution traces of assignments, operation calls, and return statements are proposed to make the internal behavior of operations persistent and analyzable as state-based models.
T. Oda, Han-Myung Chang
· 0 citations