Formalization of Automated Trading Systems in a Concurrent Linear Framework

04/15/2019
by   Iliano Cervesato, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset