Introducing Fairness into Compositional Verification via Unidirectional Counters.

Antti Siirtola Antti Puhakka Gerald Lüttgen

Published in: ACSD (2012)

Keyphrases

model checking
cooperative
game theory
data sets
bi directional
neural network
machine learning
information retrieval
learning algorithm
resource allocation
temporal logic
signature verification
formal verification
asynchronous circuits
verification method