Symbiotic 2

swMATH25256MaRDI QIDQ36998FDOQ36998

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-54862-8_34

Cited In (11)

• Symbolic computation via program transformation
• Cseq
• Orion
• Lazy-CSeq
• Ultimate Kojak
• CPAlien
• FrankenBit
• Jakstab
• MU-CSeq
• SymDIVINE
• Combining model checking and data-flow analysis

This page was built for software: Symbiotic 2