Popular repositories Loading

1. RefinementOfVotingRules RefinementOfVotingRules Public

   Using Isabelle Monadic Refinement to generate performant code of voting rules

   Isabelle 2

2. SmartFanta5.0 SmartFanta5.0 Public

   Hakathon WBK 2018, Industrie 4.0

   Java 1 1

3. verifiedVotingRuleConstruction verifiedVotingRuleConstruction Public

   Forked from VeriVote/verifiedVotingRuleConstruction

   Small adaptations to ensure compatibility with refinement

   Isabelle 1

4. QuerySeatfinder QuerySeatfinder Public

   Python Crawler seatfinder db

   Python

5. voting-rule-argumentation voting-rule-argumentation Public

   Forked from mi-ki/voting-rule-argumentation

   Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.

   C

6. ViRAGe ViRAGe Public

   Forked from VeriVote/ViRAGe

   Automated voting rulecon cobnstruction and code generation

   TeX