Skip to content

@ventynet ventynet

Change the repository type filter

All

    Repositories list

    2 repositories

    • ventynet

      Public
      Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23
      formal-methodsformal-verificationuppaaltimed-automata
      MIT License
      •0•0•0•0•Updated Oct 22, 2023Oct 22, 2023

    • ventynet-SCADE

      Public
      An attempt at modeling a mechanical ventilator with real time constraints using SCADE.
      C
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Sep 5, 2023Sep 5, 2023