Discover @ccol002 Open Source projects

Christian Colombo (@ccol002)

ccol002

Stars
17
Global Rank 690,234 (Top 25 %)
Followers 14
Registered over 10 years ago
Most used languages

Java
100.0 %
Location 🇲🇹 Malta
Country Total Rank 153
Country Ranking

Java
5

DiscreteMaths

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

larva-rv-tool

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

ARVISpringSchool

rv-book

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