Login / Signup
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.
Jiaqi Qian
Min Zhang
Yi Wang
Kazuhiro Ogata
Published in:
FASE (2019)
Keyphrases
</>
dynamic aspects
formal model
dynamically updated
dynamic environments
dynamically changing
modeling tool
multiagent based simulation
database
neural network
learning environment
open source
logic programming
computer programs
sequence diagrams
reactive systems