WP6-16: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 15:13, 3 October 2022‎ Uniss talk contribs‎ 3,616 bytes +3,616‎ Created page with "= SAGE = {|class="wikitable" | ID|| WP6-SAGE |- | Contributor || UNISS |- | Levels || Tool |- | TRL || 3 |} == Detailed Description == The tools in the SAGE Verification Suite (SAGE-VS) proposed by UNISS to address UC5 targets targets requirement consistency checking (ReqV), automatic test pattern generation (ReqT) and Neural Network verification (NeVer). ==Contribution and Improvements== *ReqV: **Formulate the technical requirements/specification using Proper..."
Retrieved from "https://c4d.lias-lab.fr/index.php/WP6-16"