Search Sciweavers | Sciweavers

227 search results - page 5 / 46

» Tutorial: Parallel Model Checking

click to vote

ICFEM
2009
Springer

90views Software Engineering» more ICFEM 2009»

A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties

13 years 5 months ago

Download anna.fi.muni.cz

One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...

Jiri Barnat, Lubos Brim, Petr Rockai

claim paper

Read More »

click to vote

ECAI
2010
Springer

231views Artificial Intelligence» more ECAI 2010»

Parallel Model Checking for Temporal Epistemic Logic

13 years 8 months ago

Download www.doc.ic.ac.uk

Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...

claim paper

Read More »

click to vote

CAV
2004
Springer

104views Hardware» more CAV 2004»

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

14 years 28 days ago

Download rodin.cs.ncl.ac.uk

Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...

Claus Schröter, Victor Khomenko

claim paper

Read More »

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

13 years 7 months ago