EigenCFA

swMATH14136MaRDI QIDQ26045FDOQ26045

Official website http://dl.acm.org/citation.cfm?doid=1926385.1926445

Described by source

• EigenCFA, accelerating flow analysis with GPUs

Cited in

(4)

• THORS
• TRecS
• Distributed and predictable software model checking
• Exact flow analysis by higher-order model checking

This page was built for software: EigenCFA