{"ref":"unbounded","ref_type":"branch","master_branch":"master","description":"A SAT-based bounded model-checker for three-valued abstractions of concurrent software systems","pusher_type":"user"}
{"actor":{"display_login":"mewh"}}