Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale Sprachen/VDM/VDMSL/telephoneSL/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Case16.v   Interaktion und
PortierbarkeitPVS

Untersuchungsergebnis.project Download desShell {Shell[54] PVS[103] Isabelle[105]}zum Wurzelverzeichnis wechseln

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
 <name>telephoneSL</name>
 <comment></comment>
 <projects>
 </projects>
 <buildSpec>
  <buildCommand>
   <name>org.overture.ide.core.builder.VdmBuilder</name>
   <arguments>


    <dictionary>
     <key>DYNAMIC_TYPE_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>INV_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>POST_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>PRE_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>SUPPRESS_WARNINGS</key>
     <value>false</value>
    </dictionary>

    <dictionary>
     <key>LANGUAGE_VERSION</key>
     <value>classic</value>
    </dictionary>
   </arguments>
  </buildCommand>
  <buildCommand>
   <name>org.overture.ide.plugins.latex.builder</name>
   <arguments>
    <dictionary>
     <key>DOCUMENT</key>
     <value></value>
    </dictionary>
   </arguments>
  </buildCommand>
 </buildSpec>
 <natures>
  <nature>org.overture.ide.vdmsl.core.nature</nature>
 </natures>
</projectDescription>

[ Konzepte0.89Was zu einem Entwurf gehört  ]