Skip to content


@release-project @softlab-ntua @parapluu


  1. Concuerror is a stateless model checking tool for Erlang programs.

    Erlang 260 35

  2. A repository of "litmus" tests showing the interaction between Erlang's built-in operations.

    Erlang 3

  3. Forked from slfritchie/cr-concuerror-experiments

    Experiments using the Concuerror tool to verify that models of Chain Repair algorithms preserve CR's strong consistency properties


  4. Erlang/OTP

    Erlang 8.4k 2.3k

  5. My resume

    TeX 1

42 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2020

aronisstav has no activity yet for this period.

June 2020

Created a pull request in erlang/otp that received 3 comments

Fix small typo in using_ssl.xml

The return value does not match the pattern on the preceding line.

+1 −1 3 comments

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

You can’t perform that action at this time.