Inventor

SHANKAR JAYA

US2 patents

Patents

2 patents

US8856726B2Oct 7, 2014

Verification of computer-executable code generated from a slice of a model

CONRAD MIRKO22 citations89

US8869103B2Oct 21, 2014

Using intermediate representations to verify computer-executable code generated from a model

CONRAD MIRKO14 citations81