Skip to content

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

License

Notifications You must be signed in to change notification settings

ccol002/rv-book

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Welcome!
This is the code accompanying the book "Runtime Verification: A Hands-On Approach in Java". 

As explained in Chapter 3 of the text, projects correspond to the book exercises. 
Simply import the code into your favourite IDE, read the book, and start coding away :) 

The solutions folders offer you guidance where you get stuck, and come in handy if you have skipped any chapters which are a prerequisite for later ones.

Hope you find this useful. 
If you have any questions or comments please don't hesitate to get in touch with us!

Christian Colombo and Gordon J. Pace
christian.colombo@um.edu.mt
gordon.pace@um.edu.mt

PS: Prof. Owolabi Legunsen from Cornell University has kindly let us know that he is "mavenising" the code available in this repository. 
If this sounds convenient to you, the latest code is available at: https://github.com/owolabileg/fits-in-maven

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published