Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Abstract
References
Index Terms
- Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Recommendations
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks
HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and ControlThis paper accompanies FOSSIL: a software tool for the synthesis of Lyapunov functions and of barrier certificates (or functions) for dynamical systems modelled as differential equations. Lyapunov functions are formal certificates for stability analysis,...
Combined Formal Post- and Presynthesis Verification in High Level Synthesis
FMCAD '98: Proceedings of the Second International Conference on Formal Methods in Computer-Aided DesignWe propose a formal framework based on higher order logic theorem proving as a support for high level synthesis. We suppose that the design process starts from a behavioural or functional specification in terms of a VHDL description. It produces a ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Badges
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Funding Sources
- EPSRC
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 202Total Downloads
- Downloads (Last 12 months)202
- Downloads (Last 6 weeks)65
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in