A professional software engineer, nurturing my creativity through hobby projects...
tla top 100 model-checking ... specifications ...

Global rank

# 367,692

Topics of expertise

tla
model-c...
specifi...
mit-lic...

Github followers

64

Github username

philipmw

Location

Seattle, WA

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.