Carmen - model checker softwarových komponent

Abstrakt

Carmen - model checker softwarových komponent, [http://www2.lifl.fr/~plsek/Projects/Carmen/]

Klíčová slova

• Carmen
• software
• component
• model
• checker