Carmen - the software component model checker

Abstract

Carmen - the software component model checker, [http://www2.lifl.fr/~plsek/Projects/Carmen/]

Keywords

• Carmen
• software
• component
• model
• checker