An assume-guarantee model checker for component-based systems.

Duong Hoang-Minh Trinh Le-Khanh Pham Ngoc Hung

Published in: RIVF (2013)

Keyphrases

model checker
formal methods
model checking
image processing
software engineering
description language
machine learning
relational databases
general purpose
building blocks