Skip to content

VERDICT-1.7.2

Compare
Choose a tag to compare
@chrisage chrisage released this 06 Jul 14:52
· 338 commits to master since this release
1a80564
  • Extend VERDICT translators to support library components
  • Design assurance level suffix in GSN security fragment .txt files
  • Likelihood & probabilities use 1e+00 notation
  • Dependabot project dependency updates