Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
A kernel to support computer-aided verification of embedded software
Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
Stellenbosch : University of Stellenbosch
2006
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614038006956032 |
|---|---|
| access_status_str | Open Access |
| author | Grobler, Leon D. |
| author2 | De Villiers, P. J. A. |
| author_browse | De Villiers, P. J. A. Grobler, Leon D. |
| author_facet | De Villiers, P. J. A. Grobler, Leon D. |
| author_sort | Grobler, Leon D. |
| collection | Thesis |
| dc_rights_str_mv | University of Stellenbosch |
| description | Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/2479 |
| institution | Stellenbosch University (South Africa) |
| last_indexed | 2026-06-10T12:45:40.774Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2006 |
| publishDateRange | 2006 |
| publishDateSort | 2006 |
| publisher | Stellenbosch : University of Stellenbosch |
| publisherStr | Stellenbosch : University of Stellenbosch |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/2479 A kernel to support computer-aided verification of embedded software Grobler, Leon D. De Villiers, P. J. A. University of Stellenbosch. Faculty of Science. Dept. of Mathematical Sciences. Theses -- Mathematics Dissertations -- Computer science Dissertations -- Mathematics Theses -- Computer science Computer software -- Verification Computer programs -- Validation Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006. Formal methods, such as model checking, have the potential to improve the reliablility of software. Abstract models of systems are subjected to formal analysis, often showing subtle defects not discovered by traditional testing. 2006-11-09T06:56:59Z 2010-06-01T08:49:45Z 2006-11-09T06:56:59Z 2010-06-01T08:49:45Z 2006-03 Thesis http://hdl.handle.net/10019.1/2479 University of Stellenbosch 652789 bytes application/pdf application/pdf Stellenbosch : University of Stellenbosch |
| spellingShingle | Theses -- Mathematics Dissertations -- Computer science Dissertations -- Mathematics Theses -- Computer science Computer software -- Verification Computer programs -- Validation Grobler, Leon D. A kernel to support computer-aided verification of embedded software |
| title | A kernel to support computer-aided verification of embedded software |
| title_full | A kernel to support computer-aided verification of embedded software |
| title_fullStr | A kernel to support computer-aided verification of embedded software |
| title_full_unstemmed | A kernel to support computer-aided verification of embedded software |
| title_short | A kernel to support computer-aided verification of embedded software |
| title_sort | kernel to support computer aided verification of embedded software |
| topic | Theses -- Mathematics Dissertations -- Computer science Dissertations -- Mathematics Theses -- Computer science Computer software -- Verification Computer programs -- Validation |
| url | http://hdl.handle.net/10019.1/2479 |
| work_keys_str_mv | AT groblerleond akerneltosupportcomputeraidedverificationofembeddedsoftware AT groblerleond kerneltosupportcomputeraidedverificationofembeddedsoftware |