Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN.
Husna OsmanMunaisyah AbdullahBazilah A. TalipPublished in: IMCOM (2018)
Keyphrases
- formal verification
- trading systems
- technical indicators
- model checking
- stock market
- model checker
- automated verification
- bounded model checking
- stock price
- financial markets
- mobile commerce
- trading strategies
- symbolic model checking
- program slicing
- mobile services
- risk management
- temporal logic
- natural language processing