Number of the records: 1  

Barrifier

  1. 1.
    Ratschan, Stefan
    Barrifier.
    Internal code: Barrifier ; 2018
    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.
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://www.cs.cas.cz/~ratschan/barrifier/
    http://hdl.handle.net/11104/0294315
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.