Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness (CISL), which extends to account for catching in Inspired by work on Views, design CISL parametric framework, can be instantiated...