Jakstab

swMATH25254MaRDI QIDQ36996FDOQ36996

Author name not available (Why is that?)

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

Cited In (15)

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

This page was built for software: Jakstab