1. Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: a system for large-scale machine learning. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI’16). USENIX Association, USA. 265–283. isbn:9781931971331
2. Bounded model checking for fixed-point digital filters
3. Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
4. Armin Biere. 2021. Bounded model checking. In Handbook of satisfiability. IOS press, 739–764.
5. Formal Verification of the Ethereum 2.0 Beacon Chain