Verics
From MaRDI portal
swMATH9464MaRDI QIDQ21447FDOQ21447
Author name not available (Why is that?)
Official website: http://verics.ipipan.waw.pl/
Cited In (8)
- MCK
- Model Checking Real-Time Systems
- UPPAAL CORA
- Specification and Verification of Multi-Agent Systems
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Symbolic model checking for temporal-epistemic logic
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- Title not available (Why is that?)
This page was built for software: Verics
