Block or report user

Report or block paulosalem

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. verum

    VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.

    Ruby 2

  2. FGS

    Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this i…

    Java 1

  3. behaviorist_agent_architecture

    The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.

    Java 1

  4. open_field_flow

    An open-source particle system simulator in which particles flow through and interact with a vector field.


  5. behaviorist_agent_architecture_component

    The wrapper needed to make the Behaviorist Agent Architecture library available to FGS. Used as part of my doctoral thesis.



    ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.


3 contributions in the last year

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

Contribution activity

May - November 2018

paulosalem has no activity yet for this period.

April 2018

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