Number of the records: 1

Barrifier

SYSNO ASEP	0502373
Document Type	L4 - Software
R&D Document Type	Software
Title	Barrifier
Author(s)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Year of issue	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.
Registration Number of the result owner	67985807
License fee fee	N - Poskytovatel licence nepožaduje licenční poplatek
Language	eng - English
Country	CZ - Czech Republic
Keywords	safety verification ; software ; barrier certificates ; numerical optimization ; Barrifier
Subject RIV	IN - Informatics, Computer Science
OECD category	Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
R&D Projects	GA15-14484S GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Annotation	Barrifier is a program for verifying safety of dynamical systems. It proves safety using barrier certificates and computes counter-example trajectories using numerical optimization. It is available under the GNU Lesser General Public License.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2019
Electronic address	https://www.cs.cas.cz/~ratschan/barrifier/

Number of the records: 1