KIT | KIT-Bibliothek | Impressum | Datenschutz

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

Beckert, B. ORCID iD icon; Bormer, T.; Gore, R.; Kirsten, M. ORCID iD icon; Meumann, T.

Abstract:

We compare and contrast our experiences in specifying, implementing
and verifying the monotonicity property of a simple plurality voting
scheme using modern light-weight and heavy-weight verification tools.


Postprint §
DOI: 10.5445/IR/1000045621
Veröffentlicht am 28.03.2019
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2014
Sprache Englisch
Identifikator urn:nbn:de:swb:90-456216
KITopen-ID: 1000045621
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in 8th International Verification Workshop (VERIFY´14), Wien, Österreich, July 23-24, 2014
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page