ReLoC

ReLoC

A logic for proving contextual refinements [project website]