Verification-based software-fault detection
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technolo...
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Elektrovnnalaš Girjji oassi |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
KIT Scientific Publishing
2011
|
| Fáttát: | |
| Liŋkkat: | DOAB: download the publication DOAB: description of the publication |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|