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

tag: model checking

2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

operational semantics, data race freedom, bisimulation, model checking, memory consistency models
2018.03.15
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

model checking, memory consistency models
2017.12.15
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

program verification, model checking, memory consistency models
2017.11.12
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

program verification, model checking, memory consistency models
2017.10.19
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models

program verification, garbage collection, memory consistency models, 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