Copyright 2013 Rolando Martins, Carnegie Mellon University (CMU)

Fault-Injection framework for Byzantine Fault-Tolerant Protocols.

BFT-SMaRt_Hermes project has the necessary modifications , mainly the aspects, needed to use Hermes. The original BFT-SMaRt implementation at: https://code.google.com/p/bft-smart/ Copyright (c) 2007-2009 Alysson Bessani, Eduardo Alchieri, Paulo Sousa under GPL version 3

Hermes:

• $ git clone https://github.com/rolandomar/hermes.git
• $ cd hermes
• $ ant (or alternatively, use Netbeans project)

BFT-SMaRt_Hermes:

• Create project with eclipse (from the ant makefile)
• Create jar using "Export using AspectJ support"