25 years of model checking: history, achievements, perspectives
by Grumberg, Orna Veith, Helmut
Type
Book
Rate
0.0 /5
Title Statements
- Full title :25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).
Edition Statements
- Publication Date:2008.
Publication Statements
- Publisher(s):SpringerLink [host]
- Place of Publication:Berlin
- Language:eng
- Publication Date:2008.
Notes
This volume presents a collection of invited papers based on talks at the symposium "25 Years of Model Checking" (25MC) which was part of the 18th International Conference on Computer Aided Verification (CAV), which in turn was part of the Federated Logic Conference (FLOC) 2006 in Seattle. In addition, we have included facsimile reprints of the two visionary papers on model checking by Edmund Clarke, Allen Emerson, Jean-Pierre Queille, and Joseph Sifakis. The program was complemented by a panel on "Verification in the Next 25 Years" organized by Limor Fix. - preface.
The Physical Object
- Description:1 online resource.
Edition Identifiers
- ISBN:9783540698500, 3540698507, 9783540698494, 3540698493
- oclc:ocn239990512
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Computer-related risks
0.0
Type: Book
Expert Android Programming
0.0
Type: Book
Discovering Computer Science: Interdisciplinary Problems, Principles,…
Havill, Jessen
0.0
Type: Book
Rate & Review