An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.
Test and optimize blockchain applications with an agent-based simulation engine.
Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.
Automatically deploy software countermeasures for more secure embedded systems.
An electronic systems simulation environment for easier testing of complex software binary code.
Making software more secure through the formal analysis of executable code.
VPSim, for faster design space exploration.
N2D2 is used to optimize neural networks, embed them on components or on dedicated hardware accelerators, and measure their performance.