Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Parallelism
An Experiment on Parallel Model Checking of a CTL Fragment
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core …
Rodrigo Tacla Saad
,
Silvano Dal Zilio
,
Bernard Berthomieu
PDF
Cite
Project
Enumerative Parallel and Distributed State Space Construction
Model Checking requires high end computers to verify complex systems. Consequently, it is interesting to use a multi-processors …
Rodrigo Tacla Saad
,
Silvano Dal Zilio
,
François Vernadat
,
Bernard Berthomieu
PDF
Cite
Project
Cite
×