Learn IT - Books tags verification

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Springer, 1997

After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safetycritical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are...

Environmental Reform in the Information Age: The Contours of Informational Governance

Cambridge University Press, 2008

As the information revolution continues to accelerate, the environment remains high on public and political agendas around the world. These two topics are rarely connected, but information - its collection, processing, accessibility and verification - is crucial in dealing with environmental challenges such as climate change, unsustainable...

Programming Languages and Systems: 8th Asian Symposium, APLAS 2010

Springer, 2010

This volume contains the papers presented at APLAS 2010, the eighth Asian Symposium on Programming Languages and Systems, held from November 28 to December 1, 2010, in Shanghai, China. The symposium was sponsored by the Asian Association for Foundation of Software (AAFS) and Shanghai Jiao Tong University.

APLAS is a premiere forum...

Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

Cambridge University Press, 2008

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly...

Real-Time Systems: Modeling, Design, and Applications (Amast Series in Computing)

World Scientific Publishing, 2007

This book collects the efforts developed by a series of researchers, presented at AMAST Workshops on Real-Time Systems. The authors whose papers were selected for this book are major players in this area, and they were given the opportunity to refine the text of their papers as a result of the lively discussions that took place during the...

Hardware Verification with C++: A Practitioners Handbook

Springer, 2006

There are several books about hardware verification, so what makes this handbook different? Put simply, this handbook is meant to be useful in your day-to-day work. The authors are like you, cube dwellers, with battle scars from developing chips. We must cope with impossible schedules, a shortage of people to do...

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press, 2009

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that...

Dynamic Simulations of Electric Machinery: Using MATLAB/SIMULINK

Prentice Hall, 1997

Everything you need to use MATLAB and SIMULINK for interactive modeling.

With today's personal computers, students have the power to create simulations of electric machinery that allow them to study transient and control performance and test conceptual designs. The outcome of these simulations can reveal behaviors that may not have been readily...

Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series, Vol. 379)

Cambridge University Press, 2011

This volume is based on the satelliteworkshop on Finite and Algorithmic Model Theory that took place at the University of Durham, January 9–13, 2006, to inaugurate the scientific program Logic and Algorithms held at the Isaac Newton Institute for Mathematical Sciences during the first six months of 2006. The goal of the...

Inside the Spam Cartel

Syngress Publishing, 2004

Since the explosion of Internet users during the late 1990’s, the unending spam scourge has shown no sign of abating. Statistics from large anti-spam companies that monitor millions of e-mails per hour show that the rates are actually still going up, and depending who you listen to, they are now rising between 50 and...

The Art of Software Modeling

Auerbach Publications, 2006

Using a multidisciplinary approach, The Art of Software Modeling covers model theory, practice, and presentation in detail. This book describes the driving need for model creation and demonstrates how to create system models. Presenting model examples of business workflows, requirements capture, and software architecture documentation, the text...

Formal Verification: An Essential Toolkit for Modern VLSI Design

Morgan Kaufmann, 2015

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a...

Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1