Parameterized Model Checking Modulo Explicit Weak Memory Models
Published in Electronic Proceedings in Theoretical Computer Science • May 12, 2018
Authors:,,
Sylvain Conchon
David Declerck
Fatiha Zaïdi
Abstract
We present a modular framework for model checking parameterized array-based transition systems with explicit access operations on weak memory. Our approach extends the MCMT (Model Checking Modulo Theories) framework of Ghilardi and Ranise with explicit weak memory models. We have implemented this ne...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!