Login / Signup
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).
Hernán Ponce de León
Florian Furbach
Keijo Heljanko
Roland Meyer
Published in:
TACAS (2) (2020)
Keyphrases
</>
bounded model checking
probabilistic model
neural network
decision trees
statistical models
multi agent
cooperative
domain specific
orders of magnitude
process model
statistical model
memory space