Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.

Sérgio Vale Aguiar Campos

Published in: FORTE (1998)

Keyphrases

high level
genetic algorithm
neural network
low level
lightweight
variable selection
building blocks
cost effective
input variables
finite domain