ESD - An Eclipse-based Debugger for Embedded Systems
ESD Features:
- Backwards Debugging
- Explore multiple program path in one debug session
- Formal verification on the defined state-space
- Multiple model checking algorithms
- Support for multiple hardware architectures
- Fully integrated into development environment
