EigenCFA

swMATH14136MaRDI QIDQ26045FDOQ26045

Author name not available (Why is that?)

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

Described by source

• EigenCFA, accelerating flow analysis with GPUs

Cited In (4)

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

This page was built for software: EigenCFA