Login / Signup
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
Yongjian Li
Jun Pang
Yi Lv
Dongrui Fan
Shen Cao
Kaiqiang Duan
Published in:
ATVA (2015)
Keyphrases
</>
main contribution
theoretical framework
image processing
evolutionary algorithm
key features
real time
genetic algorithm
information systems
artificial neural networks
user interface
logic programs
lightweight
semi automatic