Cargando…
Bringing Model Checking Closer to Practical Software Engineering
Software grows in size and complexity, making it increasingly challenging to ensure that it behaves correctly. This is especially true for distributed systems, where a multitude of components are running concurrently, making it dicult to anticipate all the possible behaviors emerging in the system a...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2130792 |