Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
Release Time:2024-09-27 Hits:
Journal: International Journal of Software Engineering and Knowledge Engineering
Volume: 33
Issue: 6
Page Number: 885-932
ISSN: 0218-1940