The following repository contains early prototypes for new OSATE features
org.osate.isse.verificationmethods: resolute verification methods for AWAS, requires the plugin from https://awas.sireum.org/doc/index.html.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
The following repository contains early prototypes for new OSATE features
org.osate.isse.verificationmethods: resolute verification methods for AWAS, requires the plugin from https://awas.sireum.org/doc/index.html.