Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker

Abstrakt

Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/publications/ParizekPlasilKofron-tr-2006-2.pdf]

Klíčová slova

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