Search Sciweavers | Sciweavers

227 search results - page 5 / 46

» Tutorial: Parallel Model Checking

Voted

ICFEM
2009
Springer

90views Software Engineering» more ICFEM 2009»

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

14 years 7 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 »

Voted

ECAI
2010
Springer

231views Artificial Intelligence» more ECAI 2010»

Parallel Model Checking for Temporal Epistemic Logic

14 years 10 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

15 years 2 months 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

14 years 9 months ago