STAIR: Software Technology and Artificial Intelligence Research Laboratory

Tag: model checking

Showing 6 posts

Publications 2018.06.17

Publications 2018.06.17

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

Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity. In Proceedings of SPIN, volume 10869 of Le...

operational semantics data race freedom bisimulation model checking memory consistency models
Publications 2018.03.15

Publications 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

Kosuke Matsumoto, Tomoharu Ugawa, and Tatsuya Abe. Improvement of a Library for Model Checking under Weakly Or...

model checking memory consistency models
Publications 2017.12.15

Publications 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

Tatsuya Abe, Tomoharu Ugawa, and Toshiyuki Maeda. Reordering control approaches to state explosion in model ch...

program verification model checking memory consistency models
Publications 2017.11.12

Publications 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

Tatsuya Abe. A verifier of directed acyclic graphs for model checking with memory consistency models. In Proce...

program verification model checking memory consistency models
Publications 2017.10.19

Publications 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

Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda. Model checking copy phases of concurrent copying garbage col...

program verification garbage collection memory consistency models model checking
Publications 2016.10.06

Publications 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

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto. Reducing state explosion for software mod...

memory consistency models model checking program verification