Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework.

Xiutai Lu Yang Gao Wensheng Guo Fengbo Zhang Xia Yang Jun Wan

Published in: CSAE (2021)

Keyphrases

formal verification
main contribution
theoretical framework
probabilistic model
state space
model checking
key properties
artificial intelligence
social networks
software engineering
dynamic environments
decision problems
conceptual framework
optimal allocation