Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN.
Milica BarjaktarovicPublished in: ICFEM (1997)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- specification language
- specification languages
- temporal logic
- protocol specification
- formal verification
- process algebra
- object oriented design
- grid workflow
- prefetching
- query processing
- data abstraction
- formal specification language
- main memory
- bounded model checking
- reverse engineering
- computation tree logic
- knowledge base
- response time
- web services