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 条
  • [31] A conceptual framework for automated negotiation systems
    Resinas, Manuel
    Fernandez, Pablo
    Corchuelo, Rafael
    INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS, 2006, 4224 : 1250 - 1258
  • [32] A Framework for Automated Testing of Automation Systems
    Winkler, Dietmar
    Hametner, Reinhard
    Oestreicher, Thomas
    Biffl, Stefan
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [33] A Framework for Opacity in Linear Systems
    Ramasubramanian, Bhaskar
    Cleaveland, Rance
    Marcus, Steven I.
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 6337 - 6344
  • [34] Formalization and automated testing for cursive fonts
    Rezaei, S
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 681 - 685
  • [35] FORMALIZATION AND AUTOMATED SYNTHESIS OF MICROPROGRAMS.
    Mueller, Robert A.
    MICRO: Annual Microprogramming Workshop, 1980, : 45 - 45
  • [36] High Performance Load Generator for Automated Trading Systems Testing
    Guriev, D. K.
    Gai, M. A.
    Terentyev, A. A.
    Itkin, I. L.
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 57 - 62
  • [37] Formalization of Integral Linear Space
    Futa, Yuichi
    Okazaki, Hiroyuki
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2011, 19 (01): : 61 - 64
  • [38] Formalization and Automated Detection of Human Errors
    Gamrad, Dennis
    Oberheid, Hendrik
    Soeffker, Dirk
    2008 PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-7, 2008, : 1696 - +
  • [39] MatTrader: an automated trading and financial data analysis framework for Matlab and Java']Java
    Calafiore, Giuseppe C.
    Poletti, Luca
    Preziosi, Alessandro
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7561 - 7566
  • [40] A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems
    Kohl, Christina
    Middeldorp, Aart
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 197 - 210
12345