Property-Driven Fence Insertion using Reorder Bounded Model Checking.

Saurabh Joshi Daniel Kroening

Published in: CoRR (2014)

Keyphrases

bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
data driven
database
monte carlo
np hard
general purpose
petri net
multi agent systems
reinforcement learning
total cost
knowledge base
learning algorithm
genetic algorithm