GitHub repository: models-team/SymexTRON
Primary language: Scala
Description: Symbolic Execution of TRON