Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/AWN/   (Archive of formal Proofs Version 2026-5©)  Datei vom 29.4.2026 mit Größe 630 B image not shown  

Quelle  ROOT  Sprache: unbekannt

  
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

chapter AFP

session AWN = HOL +
  description "Mechanization of the Algebra for Wireless Networks (AWN)"
  options [timeout = 600]
  theories
    Lib
    TransitionSystems
    Invariants
    OInvariants

    AWN
    AWN_SOS
    AWN_Labels
    AWN_SOS_Labels
    AWN_Cterms
    Pnet
    Closed
    OAWN_SOS
    OAWN_SOS_Labels
    OPnet
    OClosed_Lifting
    Inv_Cterms
    AWN_Invariants
    OAWN_Invariants
    OAWN_Convert
    Qmsg
    Qmsg_Lifting
    ONode_Lifting
    OPnet_Lifting
    OClosed_Transfer
    AWN_Main
    Toy

  theories [document = false]
    AWN_Term_Graph

  document_files
    "root.bib"
    "root.tex"

[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-09-29]