Search Sciweavers | Sciweavers

950 search results - page 40 / 190

» Software model checking with SPIN

121

click to vote

SPIN
2005
Springer

103views Theoretical Computer Science» more SPIN 2005»

An Incremental Heap Canonicalization Algorithm

15 years 11 months ago

Download research.microsoft.com

Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...

Madanlal Musuvathi, David L. Dill

claim paper

Read More »

162

click to vote

SPIN
2001
Springer

115views Theoretical Computer Science» more SPIN 2001»

Automatically Validating Temporal Safety Properties of Interfaces

15 years 10 months ago

Download fac-staff.seattleu.edu

Abstract. We present a process for validating temporal safety properties of software that uses a well-deﬁned interface. The process requires only that the user state the property...

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

114

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 10 months ago

Download www.it.uu.se

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...

claim paper