Abstract
In this paper, we briefly review the history of model checking and runtime verification. We present the results obtained in the two research areas and also in their combination. Given the growing importance of the model checking on multi-agent systems, we open a door towards the combination of model checking with runtime verification over multi-agent systems.
| Original language | English |
|---|---|
| Pages (from-to) | 302-310 |
| Number of pages | 9 |
| Journal | CEUR Workshop Proceedings |
| Volume | 3072 |
| Publication status | Published - 1 Jan 2021 |
| Event | 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021 - Virtual, Bologna, Italy Duration: 13 Sept 2021 → 15 Sept 2021 |
Keywords
- Model checking
- Multi-agent systems
- Runtime verification