Login / Signup
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