EigenCFA

MaRDI QIDQ26045swMATHFDO

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