C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
GenMC: A Model Checker for Weak Memory Models.
Michalis Kokologiannakis
Viktor Vafeiadis
Published in:
CAV (1) (2021)
Keyphrases
</>
model checker
model checking
formal methods
machine learning
image analysis
temporal logic
formal specification
formal verification