Methods and tools for the integration of formal verification in domain-specific languages
Domain specific Modeling Languages (DSMLs) are increasingly used at the early phases in the development of complex systems, in particular, for safety critical systems. The goal is to be able to reason early in the development on these models and, in particular, to fulfill verification and validation...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2014
|
| Online Access: | http://oatao.univ-toulouse.fr/14159/1/zalila.pdf |
Search Result 1