Skip to content
View ccol002's full-sized avatar
14 followers · 0 following
  • Malta

Block or report ccol002

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. DiscreteMaths DiscreteMaths Public

    A simple tool allowing users to compose Propositional and Predicate Logic proofs, checking their correctness in the process

    Java 8 4

  2. larva-rv-tool larva-rv-tool Public

    Larva is a runtime verification tool which compiles enriched state machine specifications into runtime monitors which connect with Java systems through AspectJ.

    Java 7 4

  3. ARVISpringSchool ARVISpringSchool Public

    Java 1

  4. rv-book rv-book Public

    This repository contains the code accompanying the book "Runtime Verification A Hands-On Approach in Java"

    Java 1 3

  5. ARVISummerSchoolCode ARVISummerSchoolCode Public

    Software used for the handson session during the 2016 ARVI Summer School in Madrid

    Java 1

  6. rv-crypto rv-crypto Public

    DIGITAL Command Language