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.
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.
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...
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...
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...
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 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...