Hits:
Date of Publication:2024-03-30
Journal:软件学报
Volume:34
Issue:6
Page Number:2586-2605
ISSN No.:1000-9825
CN No.:11-2560/TP
Pre One:Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
Next One:A Dual Relaxation Method for Neural Network Verification
