Assume-guarantee verification of software components in SOFA 2 framework.

Pavel Parízek Frantisek Plasil

Published in: IET Softw. (2010)

Keyphrases

software components
software development
software systems

software reuse
reusable components
real world

database systems
multi agent systems

object oriented
model checking