Parameterized verification of transactional memories

Keyphrases

• Transactional Memory 100%
• State Space Explosion 100%
• Strict Serializability 100%
• Parameterized Verification 100%
• Invisible 50%
• Software Verification 50%
• Verification Method 50%
• Expressiveness 50%
• Automatic Verification 50%
• Shared Memory 50%
• Template-based 50%
• Invariant Generation 50%
• Symmetry Reduction 50%
• Model Checking Tools 50%
• Automated Proof 50%
• Satisfiability Checking 50%
• Two-phase Locking 50%
• Parameterized Systems 50%
• Invariant Reductions 50%
• Software Model Checking 50%
• Unbounded Systems 50%
• Dynamic Software 50%
• Software Transactional Memory 50%
• Hardware Verification 50%
• Protocol Verification 50%

Computer Science

• Transactional Memory 100%
• Protocol Verification 33%
• Symmetry Reduction 33%
• Software Verification 33%
• Computer Hardware 33%
• Shared Memory 33%
• Invariant 33%
• Software Model Checking 33%