Formal verification of trading in financial markets.
Suneel SarswatAbhishek Kr SinghPublished in: CoRR (2019)
Keyphrases
- financial markets
- formal verification
- model checking
- stock market
- model checker
- market data
- stock price
- symbolic model checking
- trading systems
- portfolio selection
- risk management
- technical indicators
- trading rules
- early warning
- automated verification
- bounded model checking
- trading strategies
- long term
- agent based modeling
- exchange rate
- co occurrence
- historical data
- short term
- data mining