Verification of forward simulations with thread-local, step-local proof obligations.
Saved in:
| Title: | Verification of forward simulations with thread-local, step-local proof obligations. |
|---|---|
| Authors: | Schellhorn, Gerhard1, schellhorn@informatik.uni-augsburg.de, Bodenmüller, Stefan1, stefan.bodenmueller@informatik.uni-augsburg.de, Reif, Wolfgang1, reif@informatik.uni-augsburg.de |
| Source: | Science of Computer Programming; Apr2025, Vol. 241, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2024.103227 |
