|
Author: Paul Mukherjee
This model aims to model a single transferable voting system used for electronic
voting. It is further described in the following papers:
P. Mukherjee and B.A. Wichmann. Formal Specification of the STV Algorithm. In
M.G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods. Prentice
Hall, 1995.
Paul Mukherjee, Automatic translation of VDM-SL specifications into gofer,
Springer, Lecture Notes in Computer Science, Volume Volume 1313/1997
Book FME '97: Industrial Applications and Strengthened Foundations of
Formal Methods
Language Version: vdm10
¤ Dauer der Verarbeitung: 0.17 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.
|
