Research
DART combines model-driven development with
evidence-generating analysis for engineering high-assurance
software. The graphic on the left shows the DART process and
our areas of focus in terms of research and validation. For
more details, check out
our publications,
tools,
and demos.
You can also learn about our research areas:
You can also learn about our research areas:
- Self-Adaptation
- Probabilistic Verification
- Timing Verification
- Functional Verification
