Formal specification of FFHMIPv6 using PVS.

Changlong Zhu Rasha Morsi

Published in: SpringSim (2009)

Keyphrases

formal specification
model checking
formal verification
timed automata
specification language
specification languages
theorem proving
data abstraction
object oriented design
process algebra
temporal logic
formal methods
concurrent systems
software components
reverse engineering
software systems