|
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.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
