Home

Jump to bottom

sagarchaki edited this page Jun 1, 2015 · 11 revisions

This is the main wiki page for the Verifying Distributed Adaptive Real-Time Systems (DART) project. If you want to learn more, we recommend the following order:

Read overview slides and 2-pager on what DART is all about.
Watch videos demonstrating what DART can do. You will need a good video player, like VLC.
Learn how to download and Build DART Software.
Go through the DART Examples explaining how DART works.

Github Page | Website