Assignee

VECHEV MARTIN

US3 patents

Top patents by PatentIndex Score

US9069893B2Jun 30, 2015

Automatic verification of determinism for parallel programs

VECHEV MARTIN5 citations68

US8495588B2Jul 23, 2013

Abstraction-guided synthesis

VECHEV MARTIN0 citations46

US8548966B2Oct 1, 2013

Asynchronous assertions

VECHEV MARTIN0 citations38