Počet záznamů: 1
Barrifier
- 1.0502373 - ÚI 2019 RIV CZ eng L4 - Software
Ratschan, Stefan
Barrifier.
Interní kód: Barrifier ; 2018
Technické parametry: Barrifier proves safety of dynamical systems using barrier certificates and computes counter-example trajectories using numerical optimization.
Ekonomické parametry: 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.
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: safety verification * software * barrier certificates * numerical optimization * Barrifier
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.cs.cas.cz/~ratschan/barrifier/
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.
Trvalý link: http://hdl.handle.net/11104/0294315
Počet záznamů: 1