Tournament of Books 2015
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | January 5, 2015

    Tim Johnston: IMG The Powell's Playlist: Songs for Not Sleeping by Tim Johnston



    I once told a medical-profession-type lady that I didn't sleep well, that I awoke all through the night and was awake for hours. "What do you do... Continue »

    spacer
Qualifying orders ship free.
$50.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Software Engineering- General

Lecture Notes in Computer Science #5000: 25 Years of Model Checking: History, Achievements, Perspectives

by

Lecture Notes in Computer Science #5000: 25 Years of Model Checking: History, Achievements, Perspectives Cover

 

Synopses & Reviews

Publisher Comments:

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 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 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.

Synopsis:

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features 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.

Product Details

ISBN:
9783540698494
Author:
Grumberg, Orna (edt)
Publisher:
Springer
Other:
Grumberg, Orna
Author:
Veith, Helmut
Author:
Grumberg, Orna
Subject:
Programming - Software Development
Subject:
Programming Languages - General
Subject:
Logic Design
Subject:
Software Development & Engineering - General
Subject:
Software Engineering-General
Subject:
abstract interpretation
Subject:
Abstraction
Subject:
distributed algorithms
Subject:
distributed model checking
Subject:
explicit model checking
Subject:
Formal methods
Subject:
formal property verification
Subject:
formal specification
Subject:
formal verification
Subject:
logic model checking
Subject:
modal logics
Subject:
model checking
Subject:
model-theoretic
Subject:
mu calculus
Subject:
probabilistic graphs
Subject:
program analysis
Subject:
Reliability
Subject:
software structure
Subject:
software verification
Subject:
Synthesis
Subject:
temporal logics
Subject:
Verification
Subject:
Software engineering
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Logics and Meanings of Programs
Subject:
Programming techniques
Subject:
Mathematical Logic and Formal Languages
Subject:
Software Engineering - Programming and Languages
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Series Volume:
5000
Publication Date:
20080718
Binding:
TRADE PAPER
Language:
English
Pages:
238
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages

Lecture Notes in Computer Science #5000: 25 Years of Model Checking: History, Achievements, Perspectives New Trade Paper
0 stars - 0 reviews
$50.25 In Stock
Product details 238 pages Springer - English 9783540698494 Reviews:
"Synopsis" by , This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features 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.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.