Search Sciweavers | Sciweavers

2661 search results - page 28 / 533

» Model Checking Performability Properties

click to vote

SPIN
2005
Springer

124views Theoretical Computer Science» more SPIN 2005»

Improving Spin's Partial-Order Reduction for Breadth-First Search

14 years 1 months ago

Download spinroot.com

We describe an improvement of the partial-order reduction algorithm for breadth-ﬁrst search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...

Dragan Bosnacki, Gerard J. Holzmann

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

113views Hardware» more ASPDAC 2006»

Transition-based coverage estimation for symbolic model checking

14 years 1 months ago

Download www.cecs.uci.edu

— Lack of complete formal speciﬁcation is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unveriﬁed...

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...

claim paper

Read More »

click to vote

ECAI
2010
Springer

208views Artificial Intelligence» more ECAI 2010»

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs

13 years 8 months ago

Download www-kbsg.informatik.rwth-aachen.de

Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...

Jens Claßen, Gerhard Lakemeyer

claim paper

Read More »

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

14 years 1 days ago