Skip to main navigation
Skip to search
Skip to main content
NYU Scholars Home
Help & FAQ
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
Improved Invariant Generation for Tvoc
Yi Fang
, Lenore D. Zuck
Electrical Engineering
Computer Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Improved Invariant Generation for Tvoc'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Optimizing Compilers
86%
Invariant
79%
Optimization
71%
Data Flow
63%
Fixpoint
57%
Soundness
53%
Correctness
47%
Thing
47%
Target
40%
Verify
38%
Imply
30%
Alternatives
29%
Graph in graph theory
21%
Engineering & Materials Science
Data flow analysis
100%