View in EDS

Verification of forward simulations with thread-local, step-local proof obligations.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first