Towards a Verification-Based Development Approach for Reactive Systems.

Tae Kameda Osamu Arai Sergei Gorlatch Hamido Fujita

Published in: SoMeT (2009)

Keyphrases

reactive systems
model checking
formal methods
knowledge management
knowledge based systems
petri net
development process
information systems
case study
data warehouse
software engineering
information flow
formal specification
formal verification