HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Meumann

Publications
Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods
Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten and Thomas Meumann
EasyChair Preprint 15595

Keyphrases

Bounded Model Checking, interactive verification, software verification, verification tools.

Copyright © 2012-2025 easychair.org. All rights reserved.