P

PROSA - Formally Proven Schedulability Analysis

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

  • Björn Brandenburg's avatar
    move basic facts out of behavior/ folder · 80bd79d5
    Björn Brandenburg authored
    Rationale: reserve the behavior folder for trace-based semantics.
    
    These lemmas really constitute an analysis of the basic consequences
    arising from the chosen semantics and hence logically belong to the
    "analysis" part of Prosa.
    80bd79d5
Name
Last commit
Last update
analysis Loading commit data...
doc Loading commit data...
implementation Loading commit data...
model Loading commit data...
restructuring Loading commit data...
scripts Loading commit data...
util Loading commit data...
.ackrc Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
README.md Loading commit data...
create_makefile.sh Loading commit data...