# Software Engineering Institute

## Verifying Distributed Adaptive Real-Time Systems

In 2011, the U.S. Government maintained a fleet of approximately 8,000 unmanned aerial systems (UAS), commonly referred to as "drones," a number that continues to grow. "No weapon system has …