Skip to content

VERDICT-1.0.0-pre

Pre-release
Pre-release
Compare
Choose a tag to compare
@baoluomeng baoluomeng released this 10 Aug 18:55
· 852 commits to master since this release
1.0.0-pre
c6cc9bd

The release contains the following tool improvements:

  • A new Model-based Architecture Synthesis (MBAS) feature
  • A new assurance case fragment generation feature for MBAA
  • MBAA support for reasoning about threats and mitigations on connections
  • CRV translator support for more AADL language constructs and better error handling
  • CRV support for merit assignment

Please follow the README.md file in the release attachment to install VERDICT.

Assets 4
Loading