Skip to content

[SV-COMP'18 5/19] Abort concurrency encoding in possibly unsound cases#1994

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:concurrency-soundness
Jun 14, 2018

Commits

Commits on Jun 14, 2018