@inproceedings{3269bef9d9284703868f2e15c39cc2a2,
title = "Verification of adaptive systems",
abstract = "Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.",
author = "Laura Pullum and Xiaohui Cui and Emil Vassev and Mike Hinchey and Christopher Rouff and Richard Buskens",
year = "2012",
doi = "10.2514/6.2012-2478",
language = "English",
isbn = "9781600869396",
series = "AIAA Infotech at Aerospace Conference and Exhibit 2012",
publisher = "American Institute of Aeronautics and Astronautics Inc.",
booktitle = "AIAA Infotech at Aerospace Conference and Exhibit 2012",
note = "AIAA Infotech at Aerospace Conference and Exhibit 2012 ; Conference date: 19-06-2012 Through 21-06-2012",
}