Search Sciweavers | Sciweavers

7

SPIN
2007
Springer

98views Theoretical Computer Science» more SPIN 2007»

Minimal Counterexample Generation for SPIN

13 years 11 months ago

We propose an algorithm to compute a counterexample of minimal size to some property in a ﬁnite state program, using the same space constraints than SPIN. This algorithm uses nes...

Paul Gastin, Pierre Moro

claim paper

Read More »

9

click to vote

SPIN
2007
Springer

74views Theoretical Computer Science» more SPIN 2007»

Towards Model Checking Spatial Properties with SPIN

13 years 11 months ago

Download www.albertolluch.com

Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...

Alberto Lluch-Lafuente

claim paper

Read More »

14

click to vote

PSB
2001

74views Applied Computing» more PSB 2001»

Collective Reorientational Motion and Nuclear Spin Relaxation in Proteins

13 years 6 months ago

Download helix-web.stanford.edu

J. J. Prompers, S. F. Lienin, R. Brüschweiler

claim paper

Read More »

7

click to vote

VMCAI
2007
Springer

88views Software Engineering» more VMCAI 2007»

Model Checking Nonblocking MPI Programs

13 years 11 months ago

Download www.cis.udel.edu

Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...

Stephen F. Siegel

claim paper

Read More »

14

click to vote

BIOINFORMATICS
2005

208views more BIOINFORMATICS 2005»

Sorting points into neighborhoods (SPIN): data analysis and visualization by ordering distance matrices

13 years 4 months ago

Download www.weizmann.ac.il

Dan Tsafrir, Ilan Tsafrir, Liat Ein-Dor, Or Zuk, D...

claim paper