| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/DigraphSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 820 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Janusz Laski
The specification describes how directed graphs and relations over such graphs can can tested for relevant properties and manipulated in different ways. This specification is produced by Janusz Laski from Oakland University in the USA. Most of the definitions in this specification can be interpreted. This model is only an illustration of the problems germane to automatic software analysis. To get a better understanding of the scope of the analysis consult the text "Software Verification and Analysis, An Integrated, Hands-on -- Approach," by Janusz Laski w/William Stanley, Springer 2009. A brief online introduction is offered on the Website www.stadtools.com. Language Version: vdm10 Entry point : relations`IsTransitive(relations`A5) Entry point : relations`IsTransitive(A7) ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28