Compositional verification for component-based systems and application.

Saddek Bensalem Marius Bozga Thanh-Hung Nguyen Joseph Sifakis

Published in: IET Softw. (2010)

Keyphrases

information technology
application specific
distributed systems
model checking
database
information retrieval
management system
building blocks
complex systems
neural network
expert systems
information retrieval systems
retrieval systems
key technologies
asynchronous circuits
ubiquitous and pervasive