Formal verification of a group membership protocol using model checking
The development of safety-critical embedded applications in domains such as automotive or avionics is an exceedingly challenging intellectual task. This task can, however, be significantly simplified through the use of middleware that offers specialized fault-tolerant services. This middleware must...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | book |
| Language: | eng |
| Published: |
2007
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10216/69405 |
| Country: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/69405 |