Learning assumptions for compositionalverification of timed systems

Learning assumptions for compositionalverification of timed systems

10.1109/TSE.2013.57

Saved in:
Bibliographic Details
Main Authors: Lin, S.-W., Andre, E., Liu, Y., Sun, J., Dong, J.S.
Other Authors: TEMASEK LABORATORIES
Format: Article
Published: 2014
Subjects:
Automatic assume-guarantee reasoning
model checking
timed systems
Online Access:http://scholarbank.nus.edu.sg/handle/10635/77877
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/77877

Similar Items