Skip to content

Task 2 Deliverable
Compare
Choose a tag to compare
@andrew-bivin andrew-bivin released this 19 Feb 04:03
Galois-Deliverable-2
16ad3c9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release addresses requirements from Task 2 of the HARDENS project for the NRC:

"[Galois] shall perform preliminary V&V and testing of the design using model-based
engineering and testing methods. The deliverable will be the artifacts as described in the
proposal."

Assets 2
Loading