Login / Signup
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates.
Min Zhang
Kazuhiro Ogata
Kokichi Futatsugi
Published in:
Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
</>
software development
dynamic environments
software systems
software tools
model checking
software design
dynamically changing
neural network
open source
computer systems
software architecture
human behavior
formal analysis