25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)

Advertisement

Today's Books

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science), 9783540698494 (3540698493), Springer, 2008

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.

Comments

Amazing Books

How to Think Like a Computer Scientist: Learning with Python

Green Tea, 2002

Benjamin Crowell, in "The Assayer", book reviews and discussion for the free-information renaissance
...There's ... emphasis on teaching computer science not just as a technical trade but as a mental discipline.

Guido van Rossum, creator of...

Sputtering Materials for VLSI and Thin Film Devices

John Wiley & Sons, 2013

An important resource for students, engineers and researchers working in the area of thin film deposition using physical vapor deposition (e.g. sputtering) for semiconductor, liquid crystal displays, high density recording media and photovoltaic device (e.g. thin film solar cell) manufacturing. This book also reviews...

Character Animation in 3D, : Use traditional drawing techniques to produce stunning CGI animation

Focal Press, 2004

Finally! A forthright approach to a complex art form. An inspired text that fuses an essential understanding of fundamental traditional methods and technology.
Rita Osei, Animation & Graphics Producer, Cartoon Network, Boomerang, Toonami

It was surely a matter of time before a publication like this emerged. An understanding of...

Marketing Through Search Optimization, Second Edition: How People Search and How to be found on the web

Butterworth-Heinemann, 2007

How to use the Web successfully

This book guides readers through proven techniques for achieving and measuring success in search engine marketing (i.e. how to be the top of the rank), along with a review of the most important search engines and directories.

Explains why and how marketers can and must optimize...

Advanced FileMaker Pro 6 Web Development

Wordware Publishing, 2003

In this second book from Wordware Publishing on advanced FileMaker development techniques, consultants Bob Bowers and Steve Lane focus on publishing FileMaker data to the World Wide Web. The authors introduce the major web technologies that can be used with FileMaker and explain the general principles of designing data-driven web...

Markov Chains: Models, Algorithms and Applications (International Series in Operations Research & Management Science)

Springer, 2005

Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time. This monograph will present a series of Markov models, starting from the basic models and then building up to higher-order models. Included in the higher-order discussions are multivariate models, higher-order...