Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, February 2019

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 6,596 followers.

The authors share their article with you via #sharedit author service Enjoy reading! https://t.co/7wRhgoTOA8

Our paper "Combining sequentialization‑based verification of multi‑threaded C programs with symbolic Partial Order Reduction" is available online https://t.co/l9g9R0vIkc #verification @SpringerCompSci #POR