GitHub repository: DavideB/xSpark-dagsymb
Primary language: Python
Created: 2018-10-25T22:31:53Z
Description: A tool exploiting symbolic execution techniques to safely run multi-dag applications in xSpark.