TRecS

swMATH14145MaRDI QIDQ26053FDOQ26053

Author name not available (Why is that?)

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