Are we there yet? 20 years of industrial theorem proving with SPARK R Chapman, F Schanda International Conference on Interactive Theorem Proving, 17-26, 2014 | 46 | 2014 |
Building Better Bit-Blasting for Floating-Point Problems M Brain, F Schanda, Y Sun Tools and Algorithms for the Construction and Analysis of Systems 11427, 79-98, 2019 | 35 | 2019 |
Functional Requirements-Based Automated Testing for Avionics Y Sun, M Brain, D Kroening, A Hawthorn, T Wilson, F Schanda, ... arXiv preprint arXiv:1707.01466, 2017 | 9 | 2017 |
Using answer set programming in the development of verified software F Schanda, M Brain LIPIcs-Leibniz International Proceedings in Informatics 17, 2012 | 9 | 2012 |
A lightweight technique for distributed and incremental program verification M Brain, F Schanda International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 6 | 2012 |
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles ST Taft, F Schanda, Y Moy High Assurance Systems Engineering (HASE), 2016 IEEE 17th International …, 2016 | 4 | 2016 |
Auditing user-provided axioms in software verification conditions P Jackson, F Schanda, A Wallenburg International Workshop on Formal Methods for Industrial Critical Systems …, 2013 | 4 | 2013 |
A modular physical-simulation methodology F Schanda, P Willis The Eurographics Association, 2010 | 1 | 2010 |
Support of Ravenscar in SPARK 2014 S Baird, C Dross, Y Moy, T Taft, F Schanda ADA USER 36 (2), 105, 2015 | | 2015 |
Are we there yet? F Schanda, R Chapman | | 2014 |
A modular physics methodology for games F Schanda University of Bath, 2012 | | 2012 |