search

radon-h2020 / radon-verification-tool

RADON Verification Tool Demo
0 stars 0 forks source link

Usage scenario 1: Update CDL specification (RADON IDE) #1

Closed marklaw closed 4 years ago

marklaw commented 4 years ago

From D2.1

The RADON IDE will allow the user to manually edit and extend the CDL specification. This will be a simple text editor.