HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rajeev Gore

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
BDD-based automated reasoning in propositional non-classical logics: progress report
Rajeev Gore and Jimmy Thomson
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning

Keyphrases

automated reasoning, Binary Decision Diagrams, Bounded Model Checking, interactive verification, mu-calculus, non-classical logics, Progress Report, software verification, verification tools.

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