Current position: Home >> Scientific Research >> Paper Publications

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking

Release Time:2024-09-27  Hits:

Indexed by: Journal Papers

Document Code: 364327

Date of Publication: 2023-06-18

Journal: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Volume: 33

Issue: 06

Page Number: 885-932

ISSN: 0218-1940

Key Words: PROGRAMMING LANGUAGE; REAL-TIME; SEMANTICS

Prev One:SDLV: Verification of Steering Angle Safety for Self-Driving Cars

Next One:基于凸优化的无人驾驶汽车转向角安全性验证