Lazy-CSeq

swMATH13773MaRDI QIDQ25685FDOQ25685

Author name not available (Why is that?)

Described by source

• Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules

Cited In (3)

• Combining Model Checking and Data-Flow Analysis
• Sequentialization Using Timestamps
• Verification of Concurrent Programs on Weak Memory Models

This page was built for software: Lazy-CSeq