NASA logo

+ Contact NASA

  • + HOME
  • + TEAM
  • + LINKS

  • Airborne Coordinated Conflict Resolution and Detection (ACCoRD)

    ACCoRD is a framework for the formal specification and verification of state-based conflict detection and resolution algorithms. ACCoRD originates from KB3D, a state-based conflict detection and resolution algorithm. ACCoRD provides:

    The ACCoRD framework is part of our research on Formal Analysis of Conflict Detection and Resolution Algorithms. Software prototypes in Java and C++ are available upon request. Note that these prototypes are not suitable for use in a real system and they should not be used as such.

    The tag [*] identifies links that are outside the NASA domain