Formalization of Automated Trading Systems in a Concurrent Linear Framework

被引：1
|
作者：
Cervesato, Iliano [1 ]
Khan, Sharjeel [1 ]
Reis, Giselle [1 ]
Zunic, Dragisa [1 ]
机构：
[1] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 292期
关键词：
FORMAL VERIFICATION;
D O I：
10.4204/EPTCS.292.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which also supports executing CLF specifications. We outline the verification of two representative properties of trading systems using generative grammars, an approach to reasoning about CLF specifications.
引用
收藏
页码：1 / 14
页数：14
相关论文
共 50 条
  • [1] A hybrid multicategory framework for generating automated trading systems
    Kumar, Deepak
    Sahoo, Kartik
    Thakur, Manoj
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2023, 35 (22):
  • [2] Optimizing Automated Trading Systems
    Bigiotti, Alessandro
    Navarra, Alfredo
    DIGITAL SCIENCE, 2019, 850 : 254 - 261
  • [3] A CONCEPTUAL FRAMEWORK FOR FORMALIZATION OF NATIONAL INNOVATION SYSTEMS
    Nasierowski, Wojciech
    FOUNDATIONS OF MANAGEMENT, 2009, 1 (02) : 159 - 166
  • [4] Automated Stock Price Prediction and Trading Framework for Nifty Intraday Trading
    Bhat, Aparna Anant
    Kamath, Sowmya S.
    2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [5] A fully automated framework for control of linear systems from LTL specifications
    Kloetzer, Marius
    Belta, Calin
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 333 - 347
  • [6] An Automated Framework for Incorporating News into Stock Trading Strategies
    Nuij, Wijnand
    Milea, Viorel
    Hogenboom, Frederik
    Frasincar, Flavius
    Kaymak, Uzay
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2014, 26 (04) : 823 - 835
  • [7] The Simulation Framework for Automated Trading Algorithms on Capital Markets
    Banciu, Doina
    Petrescu, Anca-Gabriela
    Oncioiu, Ionica
    Petrescu, Marius
    Bilcan, Florentina-Raluca
    Ghibanu, Adrian-Ionut
    STUDIES IN INFORMATICS AND CONTROL, 2024, 33 (04):
  • [8] AUTOMATED DESIGN OF CONCURRENT PROCESS SYSTEMS
    HIROTA, T
    OHNO, Y
    TABATA, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 407 - 424
  • [9] Automated refinement checking of concurrent systems
    Kundu, Sudipta
    Lerner, Sorin
    Gupta, Rajesh
    IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 318 - 325
  • [10] A fully automated framework for control of linear systems from temporal, logic specifications
    Kloetzer, Marius
    Bella, Calin
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (01) : 287 - 297
12345