Dynamic Reductions for Model Checking Concurrent Software

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Research output: Other contributionResearch

Translated title of the contributionDynamic Reductions for Model Checking Concurrent Software
Original languageEnglish
Volumeabs/1611.09318
Publication statusPublished - 2016

Bibliographical note

Arxive CORR

Fields of Science and Technology Classification 2012

  • 102 Computer Sciences

Cite this