GitHub repository: mundacho/stratagem
Primary language: Java
Description: Stratagem - DD- and rewriting strategies- based model checker