Formal testing for separation assurance

DOI10.1007/S10472-011-9224-3zbMATH Open1242.68066OpenAlexW2153702331MaRDI QIDQ434444FDOQ434444

Authors: Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere 

Publication date: 10 July 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9224-3

Recommendations

• scientific article; zbMATH DE number 1852171
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• Broadcast algorithms for detection and decentralized resolution of unsafe approach of airborne aircraft based on the force field method
• Provably correct conflict prevention bands algorithms
• A rule-based approach for air traffic control in the vicinity of the airport

zbMATH Keywords

verificationclusteringmodel checkingsoftware testingair-traffic controlautomatic test generationseparation assurance

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Model-Based Clustering, Discriminant Analysis, and Density Estimation
• Pattern recognition and machine learning.
• Symbolic execution and program testing
• AutoBayes: a system for generating data analysis programs from statistical models
• Compositional may-must program analysis: unleashing the power of alternation

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• CUTE
• mclust
• Korat
• DART
• Pex
• Java PathFinder
• EMMIX
• AutoClass
• STP
• PRMLT

This page was built for publication: Formal testing for separation assurance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q434444)