A Software Tool to Support Scenario-Based Formal Specification for Error Prevention.

Siyuan Li Shaoying Liu

Published in: SOFL+MSVL (2017)

Keyphrases

formal specification
specification language
model checking
specification languages
formal methods
process algebra
data abstraction
object oriented design
concurrent systems
object oriented
software components
reverse engineering