C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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