Lazy-CSeq

MaRDI QIDQ25685swMATHFDO

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