EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform

Source code structure

Package base

Base Classes

Package common

Common Classes

Package core

Core Classes

Package fml

Formal Modeling Language

Package parser

Parser Classes

Package compiler

Compiler Classes

Package context

Context Classes

Package sew

Symbolic Execution Workflow Classes

Package fam

Formal Analysis Module Classes

Package solver

Solver Classes

Package util

Util Classes

Package main

Main CPP Classes