Inventor
REHOF NIELS JAKOB
US4 patents
Patents
4 patentsUS7797669B1Sep 14, 2010
Analysis of distributed software systems via specification substitution
MICROSOFT CORP24 citations89
US7526750B2Apr 28, 2009
Object-based systematic state space exploration of software
MICROSOFT CORP25 citations89
US7779382B2Aug 17, 2010
Model checking with bounded context switches
MICROSOFT CORP17 citations82
US7555418B1Jun 30, 2009
Procedure summaries for multithreaded software
MICROSOFT CORP19 citations82