Jakstab

MaRDI QIDQ36996swMATHFDO

Official website http://www.jakstab.org/

Cited in

(15)

• Model-Checking HyperLTL for Pushdown Systems
• Cseq
• Orion
• BAP
• Lazy-CSeq
• Ultimate Kojak
• CPAlien
• FrankenBit
• MU-CSeq
• Symbiotic 2
• WPDS++
• Refinement-based CFG reconstruction from unstructured programs
• Ghidra
• Combining model checking and data-flow analysis
• Alternating control flow reconstruction

This page was built for software: Jakstab