본문

  1. Home
3 Results:SS:FORMALVERIFICATION 0.31 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Sanchez-Stern, Alex. | University of California, San Diego | 2021
미리보기
위치정보
2
A Secure and Formally Verified Commodity Multiprocessor Hypervisor
A Secure and Formally Verified Commodity Multiprocessor Hypervisor
Li, Shih-Wei. | Columbia University | 2021
미리보기
위치정보
3
The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification
The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification
Zhang, Hongce. | Princeton University | 2021
미리보기
위치정보
처음1마지막