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