Inventor

MOHALIK SWARUP K

IN3 patents

Patents

3 patents

US8412668B2Apr 2, 2013

Offline formal verification of executable models

MOHALIK SWARUP K2 citations52

US8484009B2Jul 9, 2013

Timing analysis using formal methods

MOHALIK SWARUP K4 citations50

US8453119B2May 28, 2013

Online formal verification of executable models

MOHALIK SWARUP K0 citations40