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