Verifikace softwarových komponent: O překladu Behavior protokolů do Promely

Abstrakt

Verifikace softwarových komponent: O překladu Behavior protokolů do Promely

Klíčová slova

• Software
• Component
• Verification
• Translating
• Behavior
• Protocols
• Promela