Sogokon, Andrew and Jackson, Paul (2015) Direct formal verification of liveness properties in continuous and hybrid dynamical systems. Bjørner, Nikolaj and de Boer, Frank (eds.) In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway. Proceedings. vol. 9109, Springer. pp. 514-531 . (doi:10.1007/978-3-319-19249-9_32).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2015
Keywords:
formal verification, liveness, ordinary differential equations, continuous systems, theorem proving
Identifiers
Local EPrints ID: 433822
URI: http://eprints.soton.ac.uk/id/eprint/433822
PURE UUID: 2f12b0a7-2b6b-4bc7-a6eb-f92ff4ebf670
Catalogue record
Date deposited: 04 Sep 2019 16:30
Last modified: 16 Mar 2024 03:54
Export record
Altmetrics
Contributors
Author:
Andrew Sogokon
Author:
Paul Jackson
Editor:
Nikolaj Bjørner
Editor:
Frank de Boer
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.