A Study of Methods and Tools for Verifying Safety-Critical Software
碩士 === 國立臺灣大學 === 資訊管理學研究所 === 101 === Safety-critical software is software whose failure harm people or even cause deaths, so the correctness of such software is very important. Safety-critical software is typically a real-time and multithreaded program. Multithreading is required because of multi...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2013
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/92795290242215847446 |