Coccinelle is based on temporal logic.
Can its processing be separated into several phases and then be organised into a pipeline?
Did more researchers check if this logic methodology can collaborate with Petri nets?
Model checking is not easy to parallelize because analyzed paths can both split apart and come together.
Which of your source files implement the model handling? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
