Dechev, Damian and Rouquette, Nicolas and Pirkelbauer, Peter and Stroustrup, Bjarne (2010) Verification and Semantic Parallelization of Goal-driven Autonomous Software. In: 2nd International ICST Conference on Autonomic Computing and Communication Systems.
![[thumbnail of 11294.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "11294.pdf")
PDF
11294.pdf
Download (780kB)
Abstract
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex man-rated autonomous software systems. According to some recent estimates, the certification cost for mission-critical software exceeds its development cost. The current process-oriented meth
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:01 |
| Last Modified: | 18 Apr 2026 04:42 |
| URI: | http://eprints.eai.eu/id/eprint/3003 |
Actions (login required)
- View Item