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 |