Lazy-CSeq

swMATH13773MaRDI QIDQ25685FDOQ25685

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-24953-7_18

Described by source

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

Cited In (11)

• Sequentialization using timestamps
• Cseq
• UMM
• Weak2SC
• Ultimate Kojak
• CPAlien
• FrankenBit
• Jakstab
• MU-CSeq
• Combining model checking and data-flow analysis
• Verification of Concurrent Programs on Weak Memory Models

This page was built for software: Lazy-CSeq