@article{SchellhornBodenmuellerReif2025,
  author    = {Gerhard Schellhorn and Stefan Bodenm{\"u}ller and Wolfgang Reif},
  title     = {Verification of forward simulations with thread-local, step-local proof obligations},
  journal   = {Science of Computer Programming},
  volume    = {241},
  pages     = {103227},
  doi       = {10.1016/j.scico.2024.103227},
  year      = {2025},
}