Checking the Conformance of a Promela Design to its Formal Specification in Event-B.

Dieu-Huong Vu Yuki Chiba Kenro Yatake Toshiaki Aoki

Published in: FTSCS (2014)

Keyphrases

formal specification
object oriented design
design methodology
specification languages
knowledge based systems
software architecture
reverse engineering
formal methods
databases
user interface
fine grained
design methodologies
database systems
cooperative
concurrent systems