Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

106

Voted

ACTA
2010

117views more ACTA 2010»

Symmetry and partial order reduction techniques in model checking Rebeca

15 years 2 months ago

Symmetry and partial order reduction techniques in model checking Rebeca

Download www.win.tue.nl

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad

Real-time Traffic

ACTA 2010 |

claim paper

Related Content

» Monotonic Partial Order Reduction An Optimal Symbolic Partial Order Reduction Technique

» Distributed dynamic partial order reduction

» Partial Order Reduction for Probabilistic Systems A Revision for Distributed Schedulers

» Ant colony optimization with partial order reduction for discovering safety property viola...

» Combining Software and Hardware Verification Techniques

» Model Checking Programs

» An intruder model with message inspection for model checking security protocols

» Model Checking Quantified Computation Tree Logic

» Scalable Multicore Model Checking Fairness Enhanced Systems

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2010
Where	ACTA
Authors	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Comments (0)