CITADEL Design Techniques to Specify, Verify, and Synthesize Policies for Run-Time Monitors

Summary
This deliverable will report on the detail of the specification languages and techniques for verify and synthesize policies for the CITADEL run-time monitors.
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5bfc76c36&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Associated products/services
  • No items published
Powered by Chris Decubber BV