The University of Southampton
University of Southampton Institutional Repository

A method for invariant generation for polynomial continuous systems

A method for invariant generation for polynomial continuous systems
A method for invariant generation for polynomial continuous systems
invariant generation, ordinary differential equations, formal verification, theorem proving
Springer
Sogokon, Andrew
2600b17f-45e5-4e54-9a99-44baaf8eaf18
Ghorbal, Khalil
78ea6702-dcc4-41a9-b197-b850ff086df2
Jackson, Paul
d014ccf0-d629-4887-85c7-c77d14b2c756
Platzer, André
8886030f-8d61-4d2f-a5b2-24f92c1b2a2c
Sogokon, Andrew
2600b17f-45e5-4e54-9a99-44baaf8eaf18
Ghorbal, Khalil
78ea6702-dcc4-41a9-b197-b850ff086df2
Jackson, Paul
d014ccf0-d629-4887-85c7-c77d14b2c756
Platzer, André
8886030f-8d61-4d2f-a5b2-24f92c1b2a2c

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
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 Dec 2019 17:32

Export record

Contributors

Author: Andrew Sogokon
Author: Khalil Ghorbal
Author: Paul Jackson
Author: André Platzer

University divisions

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.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×