Hello, Some software evolution happened since the technology “computation tree logic with variables and witnesses” was published by the document “A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking”. http://coccinelle.lip6.fr/papers/popl09.pdf https://doi.org/10.1145/1480881.1480897
Are you still looking for possibilities to increase its usage in more areas? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci