Sogokon, Andrew, Ghorbal, Khalil, Jackson, Paul and Platzer, André (2016) A method for invariant generation for polynomial continuous systems. In Verification, Model Checking, and Abstract Interpretation - 17th International Conference (VMCAI 2016). Proceedings. Springer..
Record type:
Conference or Workshop Item
(Paper)
Text
vmcai-2016-abstraction-invgen
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (888kB)
More information
Published date: 2016
Venue - Dates:
17th International Conference on Verification, Model Checking, and Abstract Interpretation, , St. Petersburg, United States, 2016-01-17 - 2016-01-19
Keywords:
invariant generation, ordinary differential equations, formal verification, theorem proving
Identifiers
Local EPrints ID: 434324
URI: http://eprints.soton.ac.uk/id/eprint/434324
PURE UUID: af89444c-0e48-448d-b8ef-242371573289
Catalogue record
Date deposited: 19 Sep 2019 16:30
Last modified: 16 Mar 2024 04:12
Export record
Contributors
Author:
Andrew Sogokon
Author:
Khalil Ghorbal
Author:
Paul Jackson
Author:
André Platzer
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.