Synchronizability for Verification of Asynchronously Communicating Systems.

Samik Basu Tevfik Bultan Meriem Ouederni

Published in: VMCAI (2012)

Keyphrases

multiscale
building blocks
formal methods
management system
model checking
computing systems
artificial intelligence
information systems
data structure
computer systems
learning systems
automated verification