A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Verification of Adaptive Systems
2012
Infotech@Aerospace 2012
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
doi:10.2514/6.2012-2478
dblp:conf/itaero/PullumCVHRB12
fatcat:hrwz2fmmbnb5ljrbvmvizbu3na