Cargando…
Exact acceleration of complex real-time model checking based on overlapping cycle
When real-time systems are modeled as timed automata, different time scales may lead to substantial fragmentation of the symbolic state space. Exact acceleration solves the fragmentation problem without changing system reachability. The relatively mature technology of exact acceleration has been use...
| Autores principales: | , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
PeerJ Inc.
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7924618/ https://www.ncbi.nlm.nih.gov/pubmed/33816923 http://dx.doi.org/10.7717/peerj-cs.272 |