Theoretical Computer Science

38

SPIN
2005
Springer

91views Theoretical Computer Science» more SPIN 2005»

Etch: An Enhanced Type Checking Tool for Promela

14 years 6 months ago

We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...

Alastair F. Donaldson, Simon J. Gay

claim paper

Read More »

26

click to vote

SPIN
2005
Springer

100views Theoretical Computer Science» more SPIN 2005»

Sound Transaction-Based Reduction Without Cycle Detection

14 years 6 months ago

Download research.microsoft.com

Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram...

claim paper

Read More »

33

click to vote

SPIN
2005
Springer

114views Theoretical Computer Science» more SPIN 2005»

Repairing Structurally Complex Data

14 years 6 months ago

Download users.ece.utexas.edu

We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...

Sarfraz Khurshid, Iván García, Yuk L...

claim paper

Read More »

41

click to vote

SPIN
2005
Springer

120views Theoretical Computer Science» more SPIN 2005»

Symbolic Model Checking for Asynchronous Boolean Programs

14 years 6 months ago

Download www.foment.net

Abstract. Software model checking problems generally contain two diﬀerent types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...

Byron Cook, Daniel Kroening, Natasha Sharygina

claim paper

Read More »

29

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 6 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

50

click to vote

SPIN
2005
Springer

163views Theoretical Computer Science» more SPIN 2005»

Execution Generated Test Cases: How to Make Systems Code Crash Itself

14 years 6 months ago

Download www.stanford.edu

Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...

Cristian Cadar, Dawson R. Engler

claim paper

Read More »

39

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 6 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 »

37

click to vote

SPIN
2005
Springer

109views Theoretical Computer Science» more SPIN 2005»

Behavioural Models for Hierarchical Components

14 years 6 months ago

Download spinroot.com

We describe a method for the speciﬁcation and veriﬁcation of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...

Tomás Barros, Ludovic Henrio, Eric Madelain...

claim paper

Read More »

40

click to vote

SOFSEM
2005
Springer

137views Theoretical Computer Science» more SOFSEM 2005»

Architecture of a Business Framework for the .NET Platform and Open Source Environments

14 years 6 months ago