RAFFS: Model Checking a Robust Abstract Flash File Store

P Taverne; C Pronk

RAFFS: Model Checking a Robust Abstract Flash File Store

P Taverne, C Pronk

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods
Editors	K Breitman, A Cavalcanti
Place of Publication	Berlin
Publisher	Springer
Pages	226-245
Number of pages	20
ISBN (Print)	978-3-642-10372-8
Publication status	Published - 2009
Event	ICFEM 2009 - Berlin Duration: 8 Dec 2009 → 11 Dec 2009

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	5885
ISSN (Print)	0302-9743

Conference

Conference	ICFEM 2009
Period	8/12/09 → 11/12/09

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{cdcd9ceea6f6472092c210bae113516a,

title = "RAFFS: Model Checking a Robust Abstract Flash File Store",

keywords = "CWTS JFIS < 0.75",

author = "P Taverne and C Pronk",

year = "2009",

language = "Undefined/Unknown",

isbn = "978-3-642-10372-8",

publisher = "Springer",

pages = "226--245",

editor = "K Breitman and A Cavalcanti",

booktitle = "Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods",

note = "ICFEM 2009 ; Conference date: 08-12-2009 Through 11-12-2009",

}

RAFFS: Model Checking a Robust Abstract Flash File Store. / Taverne, P; Pronk, C.
Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods. ed. / K Breitman; A Cavalcanti. Berlin: Springer, 2009. p. 226-245 (Lecture Notes in Computer Science; Vol. 5885).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - RAFFS: Model Checking a Robust Abstract Flash File Store

AU - Taverne, P

AU - Pronk, C

PY - 2009

Y1 - 2009

KW - CWTS JFIS < 0.75

UR - http://www.springerlink.com/content/56410l9829m86000/?p=463219add4af4af7a80a3f9719fa8c28&pi=11

M3 - Conference contribution

SN - 978-3-642-10372-8

SP - 226

EP - 245

BT - Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods

A2 - Breitman, K

A2 - Cavalcanti, A

PB - Springer

CY - Berlin

T2 - ICFEM 2009

Y2 - 8 December 2009 through 11 December 2009

ER -

RAFFS: Model Checking a Robust Abstract Flash File Store

Publication series

Conference

Keywords

Other files and links

Cite this