Financial Conduct Authority
2018
Algorithmic Trading Compliance in Wholesale Markets
https://www.fca.org.uk/publication/multi-firm-reviews/algorithmic-trading-compliance-wholesale-markets.pdf
Patrick Bahr
Jost Berthold
Martin Elsman
2015
Certified Symbolic Management of Financial Multi-party Contracts
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
ICFP 2015
ACM
315–327
10.1145/2784731.2784747
Jan De Bel
1993
Automated Trading Systems and the Concept of an Exchange in an International Context Proprietary Systems: A Regulatory Headache
U. Pa. J. Int'l Bus. L
14
2
169–211
Iliano Cervesato
Jorge Luis Sacchini
2013
Towards Meta-Reasoning in the Concurrent Logical Framework CLF
Electronic Proceedings in Theoretical Computer Science
120
2–16
10.4204/eptcs.120.2
Iliano Cervesato
Kevin Watkins
Frank Pfenning
David Walker
2003
A Concurrent Logical Framework I: Judgments and Properties
Technical Report
CMU-CS-02-101
Carnegie Mellon University
Matthew Freedman
2015
Rise in SEC Dark Pool Fines
Review of Banking and Financial Law
35
1
150–162
Robert Harper
Furio Honsell
Gordon Plotkin
1993
A Framework for Defining Logics
J. ACM
40
1
143–184
10.1145/138027.138060
Robert B. Jones
John W. O'Leary
Carl-Johan H. Seger
Mark D. Aagaard
Thomas F. Melham
2001
Practical Formal Verification in Microprocessor Design
IEEE Des. Test
18
4
16–25
10.1109/54.936245
Phil Mackintosh
2014
Demystifying Order Types
http://www.smallake.kr/wp-content/uploads/2016/02/KCG_Demystifying-Order-Types_092414.pdf
Grant Olney Passmore
Denis Ignatovich
2017
Formal Verification of Financial Algorithms
Leonardo de Moura
Automated Deduction – CADE 26
Springer International Publishing
26–41
10.1007/978-3-319-63046-5_3
Dirk Pattinson
Carsten Schürmann
2015
Vote Counting as Mathematical Proof
Bernhard Pfahringer
Jochen Renz
AI 2015: Advances in Artificial Intelligence
Springer International Publishing
464–475
10.1007/978-3-319-26350-2_41
Simon Peyton Jones
Jean-Marc Eber
Julian Seward
2000
Composing Contracts: An Adventure in Financial Engineering (Functional Pearl)
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming
ICFP '00
ACM
280–292
10.1145/351240.351267
Robert J. Simmons
2012
Substructural Logical Specifications
Carnegie Mellon University
AAI3534965
Jean Souyris
Virginie Wiels
David Delmas
Hervé Delseny
2009
Formal Verification of Avionics Software Products
Ana Cavalcanti
Dennis R. Dams
FM 2009: Formal Methods
Springer Berlin Heidelberg
532–546
10.1007/978-3-642-05089-3_34