On Sat, 14 May 2011, SF Markus Elfring wrote: > > 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?
ctl/ctl_engine.ml julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
