| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/STVSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 598 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28