EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform

Rules

• Output stream for live debugging : AVM_OS_DEBUG