Login / Signup

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

Hernán Ponce de LeónFlorian FurbachKeijo HeljankoRoland 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