共 50 条
[31]
The Research on Formal Verification of CPU Structure Based on Theorem Proving
[J].
PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019),
2019,
:139-143
[32]
Research on Formal Modeling and Verification of on-board ATP System
[J].
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMPUTER APPLICATIONS (ICSA 2013),
2013, 92
:27-32
[34]
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
[J].
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019),
2020, 12028
:73-87
[35]
Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection
[J].
ADVANCES AND TRENDS IN ARTIFICIAL INTELLIGENCE: THEORY AND APPLICATIONS, IEA-AIE 2024,
2024, 14748
:297-309
[37]
Toward Formal Data Set Verification for Building Effective Machine Learning Models
[J].
PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT (KDIR), VOL 1:,
2021,
:249-256
[38]
Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA
[J].
COMPUTER NETWORKS,
2010, 79
:131-140
[39]
FORMAL CO-VERIFICATION OF LOCAL INTERCONNECT NETWORK MASTER NODE
[J].
2013 INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR COMMUNICATIONS (ATC),
2013,
:355-359
[40]
Formal Verification of Neural Network Controllers for Collision-Free Flight
[J].
SOFTWARE VERIFICATION,
2022, 13124
:147-164