products/Sources/formale Sprachen/VDM/VDMPP/MetroInterlockingPP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: predicate_coordination_2D.pvs   Sprache: Lisp

rahmenlose Ansicht.project DruckansichtShell {Shell[54] PVS[103] Isabelle[105]}zum Wurzelverzeichnis wechseln

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
 <name>MetroInterlockingPP</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>vdm10</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.vdmpp.core.nature</nature>
 </natures>
</projectDescription>

[ Verzeichnis aufwärts0.134unsichere Verbindung  ]