ReVINK: Representation and Verification of Interaction and Knowledge.
GaLOT: Game Logics for Open IT Environments.
Formal Verification Group @ Polish Academy of Sciences | ![]() |
Computational Intelligence Group @ Clausthal University of Technology | Last modified 2018-03-21 |