Experiences with formal specification of fault-tolerant file systems.
Roxana GeambasuAndrew BirrellJohn MacCormickPublished in: DSN (2008)
Keyphrases
- fault tolerant
- formal specification
- file system
- fault tolerance
- model checking
- specification languages
- distributed systems
- specification language
- data transfer
- object oriented design
- concurrent systems
- formal methods
- flash memory
- reverse engineering
- data abstraction
- storage systems
- process algebra
- case study
- state machine
- load balancing
- database
- high availability
- temporal logic
- safety critical
- software components
- continuous media
- response time
- databases
- database systems