Home

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:

• Learn about DART, our vision and research.
• Watch videos demonstrating what DART can do (e.g., with VLC).
• Learn how to download and Build DART Software.
• Go through the DART Examples explaining how DART works.