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 technology. The described te...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Online |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
KIT Scientific Publishing
2021
|
| Konular: | |
| Online Erişim: | 35655 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|