Skip to content

@PROSA-Project PROSA - Formally Proven Schedulability Analysis

Change the repository type filter

All

    Repositories list

    4 repositories

    • POET

      Public
      The POET foundational response-time analysis tool
      verificationreal-time-systemsschedulability-analysisresponse-time-analysisrocq
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Jan 15, 2026Jan 15, 2026

    • pyRTA

      Public
      A Python implementation of the real-time response-time analyses (RTAs) verified by the PROSA project
      Python
      •
      MIT License
      •0•1•0•0•Updated Jan 14, 2026Jan 14, 2026

    • prosa

      Public
      Official mirror of the PROSA Gitlab repository
      real-timeschedulingverification
      Rocq Prover
      •
      BSD 2-Clause "Simplified" License
      •0•3•0•0•Updated Oct 31, 2025Oct 31, 2025

    • opam

      Public
      Archive for all Rocq and Coq-related opam packages organized in various repositories
      OCaml
      •
      GNU Lesser General Public License v2.1
      •135•0•0•0•Updated Oct 31, 2025Oct 31, 2025