add property language - Githubissues

pascalpoizat / veca-ide

:microscope: verification of component architectures (IDE plugin)

Apache License 2.0

0 stars 0 forks source link

Open pascalpoizat opened 6 years ago

pascalpoizat commented 6 years ago

add a language to express properties to check on an architecture