본문

  1. Home
6 Results:SS:FORMALVERIFICATION 0.78 sec.
RSS 
Multilingual
 高级搜索
 新货搜索
1
Abstractions for Safety Assurance of Autonomous Systems
Abstractions for Safety Assurance of Autonomous Systems
Hsieh, Chiao. | University of Illinois at Urbana-Champaign | 2023
Preview
位置
2
Increasing the Practicality of Verification Using Incomplete Solutions
Increasing the Practicality of Verification Using Incomplete Solutions
Goldweber, Eli David. | University of Michigan | 2025
Preview
位置
3
Foreign Function Verification Through Metaprogramming
Foreign Function Verification Through Metaprogramming
Korkut, Joomy. | Princeton University | 2024
Preview
位置
4
Safety-Assured Autonomy for Learning-Enabled Cyber-Physical Systems
Safety-Assured Autonomy for Learning-Enabled Cyber-Physical Systems
Wang, Yixuan. | Northwestern University | 2024
Preview
位置
5
Automated Verification of Safety and Liveness Properties for Distributed Protocols
Automated Verification of Safety and Liveness Properties for Distributed Protocols
Yao, Jianan. | Columbia University | 2024
Preview
位置
6
Addressing the Verification Challenge of Agile Hardware Methodologies
Addressing the Verification Challenge of Agile Hardware Methodologies
Pan, Peitian. | Cornell University | 2024
Preview
位置
처음1마지막