Symbolic techniques for parameterised verification
<p>Parameterised systems are infinite-state systems comprising a parameterised number of components. The problem of verifying parameterised systems is both important practically and challenging theoretically: it is important because a wide range of real-world computer systems are parameterised...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Thesis |
| Idioma: | English |
| Publicado em: |
2022
|
| Assuntos: |