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

Add example of how MMS can be used to verify TMAP8 #232

Open
simopier opened this issue Jan 22, 2025 · 0 comments
Open

Add example of how MMS can be used to verify TMAP8 #232

simopier opened this issue Jan 22, 2025 · 0 comments
Assignees
@simopier
Labels
documentation Improvements or additions to documentation V&V Relevant to V&V

Comments

@simopier
Copy link
Collaborator

Reason

TMAP8 does not currently have an example using MMS

Design

Add MMS to a case in TMAP8

Impact

Better documentation of TMAP8's capability for verification.
@simopier simopier added documentation Improvements or additions to documentation V&V Relevant to V&V labels Jan 22, 2025
@simopier simopier self-assigned this Jan 22, 2025
simopier added a commit that referenced this issue Jan 22, 2025
@simopier
MMS documentation:
d9479ce 
step 1: Add description of weak form derivation for case ver-1dc:

(Close. #232)
@simopier simopier mentioned this issue Jan 22, 2025
Draft
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@simopier simopier

Labels
documentation Improvements or additions to documentation V&V Relevant to V&V
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@simopier