Automatic proof procedures for polynomials and special functions

Project Details

StatusFinished
Effective start/end date1/11/1028/02/15

Funding

  • EPSRC: £632,417.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Direct formal verification of liveness properties in continuous and hybrid dynamical systems

    Sogokon, A. & Jackson, P., Jun 2015, Formal Methods, 20th International Symposium. June 2015. Oxford, United Kingdom: Springer-Verlag GmbH, Vol. 9109. p. 514-531 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Verifying Hybrid Systems Involving Transcendental Functions

    Jackson, P., Sogokon, A., Bridge, J. & Paulson, L., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Proceedings. Badger, J. & Rozier, K. (eds.). Springer-Verlag GmbH, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 8430).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • A Method for Invariant Generation for Polynomial Continuous Systems

    Sogokon, A., Ghorbal, K., Jackson, P. B. & Platzer, A., 25 Dec 2015, Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Jobstmann, B. & Leino, M. K. R. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 268-288 21 p. (Lecture Notes in Computer Science; vol. 9583).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File