Sign in

Owicki-Gries Reasoning for Weak Memory Models.

Ori LahavViktor Vafeiadis
Published in: ICALP (2) (2015)
Keyphrases
  • statistical models
  • formal models
  • real time
  • knowledge base
  • probabilistic model
  • complex systems
  • model construction
  • reasoning tasks