1. Rodin: an open toolset for modelling and reasoning in Event-B
2. Gérard Berry . 2007 . SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems . Springer , 19–33. Gérard Berry. 2007. SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, 19–33.
3. Simplifying Neural Networks Using Formal Verification
4. Gaetan JDR Hains , Arvid Jakobsson , and Youry Khmelevsky . 2019. Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. arXiv preprint arXiv:1901.11334 ( 2019 ). Gaetan JDR Hains, Arvid Jakobsson, and Youry Khmelevsky. 2019. Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. arXiv preprint arXiv:1901.11334 (2019).
5. Julia Hirschberg and Christopher D Manning . 2015. Advances in natural language processing. Science 349, 6245 ( 2015 ), 261–266. Julia Hirschberg and Christopher D Manning. 2015. Advances in natural language processing. Science 349, 6245 (2015), 261–266.