Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Develop introductory Jupyter notebook that shows Pacti's use cases #298

Open
5 of 10 tasks
iincer opened this issue Feb 17, 2023 · 0 comments · Fixed by #174
Open
5 of 10 tasks

Develop introductory Jupyter notebook that shows Pacti's use cases #298

iincer opened this issue Feb 17, 2023 · 0 comments · Fixed by #174
Labels
documentation Improvements or additions to documentation

Comments

@iincer
Copy link
Collaborator

iincer commented Feb 17, 2023 •
edited
Loading

We need an introductory Jupyter notebook highlighting the problems for which Pacti could help a system designer. This Jupyter notebook should be easily accessible from the main page. These are some things we could cover:

  • Composing system specs. Show how to obtain the specification of a system given subsystem specs.
  • Diagnosing problems. Show a composition that yields an error. Trace the error to a problem with specs.
  • Show that we can identify missing components.
  • Show merging of viewpoints.
  • Show a refinement query.
  • Show optimization capabilities.
  • Composition/quotient with extra variables?

What else should this document have? Should we also include the following?

  • Compound IO contracts
  • Behavior containment
  • Verification of implementations/environments
@iincer iincer added the documentation Improvements or additions to documentation label Feb 17, 2023
@iincer iincer linked a pull request Feb 20, 2023 that will close this issue
158 develop introductory jupyter notebook that shows pactis use cases #174
Merged
@iincer iincer reopened this Feb 20, 2023
@iincer iincer transferred this issue from pacti-org/pacti Mar 23, 2023
@iincer iincer transferred this issue from another repository Mar 24, 2023
@iincer iincer transferred this issue from another repository Mar 25, 2023
@iincer iincer transferred this issue from pacti-org/pacti Mar 25, 2023
@iincer iincer transferred this issue from another repository Mar 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

158 develop introductory jupyter notebook that shows pactis use cases pacti-org/pacti
1 participant
@iincer