가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Practical Verification of Safety-Critical Systems
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Pernsteiner, Stuart. |
| 단체저자명 | University of Washington. Computer Science and Engineering. |
| 서명/저자사항 | Practical Verification of Safety-Critical Systems. |
| 발행사항 | [S.l.] : University of Washington., 2018 |
| 발행사항 | Ann Arbor : ProQuest Dissertations & Theses, 2018 |
| 형태사항 | 132 p. |
| 소장본 주기 | School code: 0250. |
| ISBN | 9780438178731 |
| 일반주기 |
Source: Dissertation Abstracts International, Volume: 79-12(E), Section: B.
Advisers: Zachary Tatlock |
| 요약 | Software-based control systems operate scientific equipment worth millions of dollars and even safety-critical medical devices, making them good targets for strong formal verification techniques. However, these systems are rarely verified in pr |
| 요약 | First, safety properties of control systems often rely on correct operation and interaction of several heterogeneous hardware and software components. No single analysis tool can reason about all types of components. We present techniques, bas |
| 요약 | Second, software components of control systems are often developed using proprietary or domain-specific languages for which no formal semantics yet exist. We present a methodology for rapidly developing language semantics, allowing application |
| 요약 | Third, for control system software written in specialized languages, often no verified language implementations are available. We present a new technique for developing verified compilers that combines a verified denotation function with a veri |
| 일반주제명 | Computer science. |
| 언어 | 영어 |
| 기본자료 저록 | Dissertation Abstracts International79-12B(E). Dissertation Abstract International |
| 대출바로가기 | http://www.riss.kr/pdu/ddodLink.do?id=T14999239 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00028548 | 004 | 가야대학교// | 대출가능 |
|
카피라이터
