ccol002/DiscreteMaths ccol002/DiscreteMaths

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Java
  • License
    GNU General Publi...
  • Created about 9 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ccol002/DiscreteMaths
github

ccol002

Reviews

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

Repository Details

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

More Repositories

1

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.
Java
7
star
2

ARVISpringSchool

Java
1
star
3

rv-book

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