Cseq

swMATH7395MaRDI QIDQ19427FDOQ19427

Author name not available (Why is that?)

Official website: http://users.ecs.soton.ac.uk/gp4/cseq/cseq.html

Cited In (8)

• Sequentialization using timestamps
• Threader
• Lazy-CSeq
• CPAlien
• FrankenBit
• Jakstab
• MU-CSeq
• Combining model checking and data-flow analysis

This page was built for software: Cseq