Hello, It was demonstrated for some years what can be achieved also by the means of the technology “computation tree logic with variables and witnesses”. Will development interests eventually grow for the construction of reusable libraries according to affected software areas? https://github.com/coccinelle/coccinelle/issues/251
Regards, Markus