SF Markus Elfring
2018-12-01 15:16:26 UTC
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
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