Addressing Unbounded Parallelism in Verification of Software Components

Abstract

Addressing Unbounded Parallelism in Verification of Software Components

Keywords

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