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