ccol002/rv-book

Stars
1
Language
Java
License
BSD 3-Clause "New...
Created about 2 years ago
Updated 2 months ago

ccol002/rv-book

ccol002

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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