Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker

Abstract

Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/publications/ParizekPlasilKofron-tr-2006-2.pdf]

Keywords

• Model
• Checking
• Software
• Components
• Making
• PathFinder
• Cooperate
• Behavior
• Protocol
• Checker