Assignee

IVRII ALEXANDER

IL2 patents

Top patents by PatentIndex Score

US8909579B2Dec 9, 2014

Identifying invariant candidates based on proofs

IVRII ALEXANDER3 citations55

US8996435B2Mar 31, 2015

Determining invariants in a model

IVRII ALEXANDER0 citations35