Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.

Eun-Young Kang Pierre-Yves Schobbens Paul Pettersson

Published in: SAFECOMP (2011)

Keyphrases

model checking
finite state machines
temporal logic
description language
timed automata
software engineering
formal specification
behavior recognition
automotive industry
commercial products
social networks
microarray
formal methods
product design
functional analysis