model checking | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: model checking

2016.10.06
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

memory consistency models, model checking, program verification