Distributed Behavior Protocol Checker

Abstract

Distributed Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/~poch/dchecker/]

Keywords

• Distributed
• Behavior
• Protocol
• Checker