Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.

Gerhard Schellhorn Stefan Bodenmüller Wolfgang Reif

Published in: ABZ (2023)

Keyphrases

concurrent systems
temporal logic
transition systems
website
post processing
petri net
data sets
deontic logic