About

Philip White's main area of expertise is tla , and is also an expert on model-checking and specifications . Philip White is recognized as Tla Top-100Model-checking Top-100, and Specifications Top-100 . A Github user since 2012 , Philip White is ranked as #367,692 globally .
Additional areas of expertise: mit-license