Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
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
