SmCon This repository contains artifact for research paper "Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction"