Nástroj pro ověřování behavior protokolů

Abstrakt

Nástroj pro ověřování behavior protokolů, [http://sofa.objectweb.org/download.phtml]

Klíčová slova

• Behavior
• Protocols
• Checker