Combined report describing testing, verification, catastrophic failures detection and prop- erties violation detection for the initial set of patterns

Summary
Report on testing/verification/failures/violations for initial patterns
More information & hyperlinks
Web resources: https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5adb7b70e&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV