Number of the records: 1

Barrifier

SYSNO	0502373
Title	Barrifier
Author(s)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Issue data	2018
Int.Code	Barrifier
Technical parameters	Barrifier proves safety of dynamical systems using barrier certificates and computes counter-example trajectories using numerical optimization.
Economic parameters	Barrifier is a program for verifying safety of dynamical systems. It supports the design of safe systems by proving that a mathematical system model fulfills the safety requirement of the system. It is available under the GNU Lesser General Public License.
Owner Name	Ústav informatiky AV ČR, v. v. i.
Document Type	Software
Grant	GA15-14484S GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	CZ
Keywords	safety verification * software * barrier certificates * numerical optimization * Barrifier
URL	https://www.cs.cas.cz/~ratschan/barrifier/
Permanent Link	http://hdl.handle.net/11104/0294315

Number of the records: 1