Cutpoints for formal equivalence verification of embedded software.

Xiushan Feng Alan J. Hu

Published in: EMSOFT (2005)

Keyphrases

embedded software
embedded systems
software architecture
development projects
model checking
formal specification
sequence diagrams
case study
data mining