Automatic proof procedures for polynomials and special functions

Jackson, Paul (Principal Investigator)

Status	Finished
Effective start/end date	1/11/10 → 28/02/15

Funding

EPSRC: £632,417.00

7 Conference contribution
2 Article
1 Chapter
1 Chapter (peer-reviewed)

Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Sogokon, A., Jackson, P. & Johnson, T. T., 31 Dec 2019, In: Journal of Automated Reasoning. 63, p. 1005 1029 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants
Sogokon, A., Jackson, P. B. & Johnson, T. T., 9 Apr 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Springer, p. 194-211 18 p. (Lecture Notes in Computer Science; vol. 10227).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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, p. 268-288 21 p. (Lecture Notes in Computer Science; vol. 9583).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File