Skip to content
Block or report user

Report or block nimble-code

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. Spin

    Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

    C 26 5

  2. Modex

    a model extractor, to automatically extract Spin verification models from multi-threaded C code

    C 5

  3. Buzz

    a framework for studying logic model checking algorithms

    C 3

  4. Uno

    simple static source code analysis tool for C code, with user-definable properties

    C 3 1

  5. NCSL

    Simple non-comment source line counter for C and C++ code

    C 2

  6. Swarm

    Front-end for Spin to generate swarm verification scripts


55 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to nimble-code/Spin, nimble-code/Buzz, nimble-code/Modex and 4 other repositories

Contribution activity

May 2019

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.