Reviewing Formal Specification for Validation Using Animation and Trace Links.

Mo Li Shaoying Liu

Published in: APSEC (1) (2014)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
data abstraction
concurrent systems
process algebra
computer graphics
reverse engineering
software components
user interface
temporal logic