Formal testing for separation assurance
From MaRDI portal
Publication:434444
DOI10.1007/s10472-011-9224-3zbMath1242.68066MaRDI QIDQ434444
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
verification; clustering; model checking; software testing; air-traffic control; automatic test generation; separation assurance
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software