Compositional Verification for Component-Based Systems and Application.

Saddek Bensalem Marius Bozga Joseph Sifakis Thanh-Hung Nguyen

Published in: ATVA (2008)

Keyphrases

intelligent systems
computer systems
complex systems
model checking
learning algorithm
e learning
image sequences
information technology
distributed systems
learning systems
retrieval systems
formal methods
ubiquitous and pervasive