The SCAN Statistical Model Checker
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917371440005120 |
|---|---|
| author | Ghiorzi, Enrico Tacchella, Armando |
| author_facet | Ghiorzi, Enrico Tacchella, Armando |
| contents | This paper lays out the formal foundations upon which the SCAN statistical model checker is built. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_28794 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The SCAN Statistical Model Checker Ghiorzi, Enrico Tacchella, Armando Formal Languages and Automata Theory Logic in Computer Science Multiagent Systems This paper lays out the formal foundations upon which the SCAN statistical model checker is built. |
| title | The SCAN Statistical Model Checker |
| topic | Formal Languages and Automata Theory Logic in Computer Science Multiagent Systems |
| url | https://arxiv.org/abs/2603.28794 |