Giters
VeriVote

VeriVote

Geek Repo

This project aims to make the formal verification, analysis and design of voting rules easier. Voting rules aggregate preferences for collective decisions.

Location:KIT

Github PK Tool:Github PK Tool

VeriVote's repositories

beast

BEAST aims to make the verification of voting rules easier

Language:JavaLicense:MITStargazers:6Issues:7Issues:51

verifiedVotingRuleConstruction

A Framework for the Verified Construction of Fair Voting Rules

Language:IsabelleStargazers:3Issues:2Issues:0

ViRAGe

Language:TeXLicense:MITStargazers:2Issues:4Issues:0

polyas-core3-open-cred

Language:JavaStargazers:0Issues:1Issues:0