products/Sources/formale Sprachen/Isabelle/Tools/Metis/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: nc170a.cob   Sprache: Unknown

Author: Miguel Ferreira


This is a Specification of the File System Layer, sliced at the 
FS_DeleteFileDir operation, as defined in the INTEL Flash File 
System document. It includes: a VDM++ model that can be model 
checked in an equivalent Alloy model; and an adapted version 
of the VDM++ model to be used in the Overture Automated Proof 
Support system. In the test class UseFileSystemLayerAlg there 
are a few examples of using the traces primitives used for 
test automation. This model has been developed by Miguel 
Ferreira

Language Version: vdm10
Entry point     : new UseFileSystemLayerAlg().dummy()

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]