Řešení neomezeného paralelismu při verifikaci softwarových komponent

Abstrakt

Řešení neomezeného paralelismu při verifikaci softwarových komponent

Klíčová slova

• Addressing
• Unbounded
• Parallelism
• Verification
• Software
• Components