Flash Crash Simulation
Meaning ⎊ Recreating extreme, rapid price drops to test system resilience and the effectiveness of risk controls under stress.
Universal Portfolio Margin
Meaning ⎊ Universal Portfolio Margin optimizes capital by calculating collateral requirements based on the aggregate net risk of an entire derivative portfolio.
Symbolic Model Checking
Meaning ⎊ Verification technique using boolean formulas to represent and explore vast state spaces efficiently.
