This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

Composition of specifications #133

Closed

stevana opened this issue Jul 4, 2017 · 1 comment

Labels

Collaborator

stevana commented Jul 4, 2017

How can we combine specifications?

See chapter 10 in Lamport's Specifying systems, and Conjoining Specifications for examples, and PR #132 for a start.

stevana added the discussion label

Collaborator Author

stevana commented Feb 15, 2019

Closely related to #179.

stevana closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.