TRecS

MaRDI QIDQ26053swMATHFDO

Official website http://www.kb.ecei.tohoku.ac.jp/~koba/trecs/

Cited in

(5)

• Exact flow analysis by higher-order model checking
• TravMC
• EigenCFA
• THORS
• A traversal-based algorithm for higher-order model checking

This page was built for software: TRecS