Distribuovaný ověřovač Behavior protokolů

Abstrakt

Distribuovaný ověřovač Behavior protokolů, [http://dsrg.mff.cuni.cz/~poch/dchecker/]

Klíčová slova

• Distributed
• Behavior
• Protocol
• Checker