Projects and Funding (page under construction)

VoteVerif: Verification of Voter-Verifiable Voting Protocols.

ReVINK: Representation and Verification of Interaction and Knowledge.

GaLOT: Game Logics for Open IT Environments.


Formal Verification Group @ Polish Academy of Sciences Home
Computational Intelligence Group @ Clausthal University of Technology Last modified 2017-06-17