Skip past navigation NASA Langley Formal Methods



quick page





  home > research > fm-atm > fm-atm-cdr

Software Products Developed Under the ACCoRD Framework

ACCoRD Software
CD2D horizontal conflict detection formally verified
CDSS 3D state-based conflict detection formally verified
CDSI conflict detection with traffic intent formally verification in progress
CDII conflict detection with traffic and ownship intent formally verification in progress
CR3D state-based conflict resolution formally verified
Bands state-based conflict prevention bands formally verified
IntentBands conflict prevention bands with traffic intent formally verified
Chorus N aircraft conflict and loss of separation resolution partially verified
Stratway strategic conflict detection and resolution with intent heuristic, partial verfication in progress

Programs are available in C++ or Java. We have put much effort into assuring that the C++ and Java version produce identical outputs (cf. up to floating point precision limits).

Software is open source and is available upon request (Contact J.M.Maddalon@NASA.GOV).

Note: The external link tag identifies links that are outside of the NASA domain.


  Skip past navigation  
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 26 September 2003 (10:10:40)