Formal Methods

The applied mathematics of computer system engineering used to specify and model the behavior of a system and to mathematically verify that the system design and implementation satisfy system functional and safety properties.

All categories

Books under this sub-category (22 books)

Reasoned Programming

Post date: 20 Sep 2006
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994
 
Reasoned Programming

Reasoned Programming

Post date: 20 Sep 2006
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994


Semantics with Applications: A Formal Introduction

Post date: 24 Oct 2004
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).
Publisher: John Wiley & Sons
Publication date: 01 Apr 1992
 
Semantics with Applications: A Formal Introduction

Semantics with Applications: A Formal Introduction

Post date: 24 Oct 2004
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).
Publisher: John Wiley & Sons
Publication date: 01 Apr 1992


Software Vulnerability Analysis - A Thesis

Post date: 23 Apr 2007
Presents a classification of software vulnerabilities that focuses on the assumptions that programmers make regarding the environment in which their application will be executed.
Publication date: 01 May 1998
 
Software Vulnerability Analysis - A Thesis

Software Vulnerability Analysis - A Thesis

Post date: 23 Apr 2007
Presents a classification of software vulnerabilities that focuses on the assumptions that programmers make regarding the environment in which their application will be executed.
Publication date: 01 May 1998


Syntax and Semantics of Programming Languages, A Laboratory Based Approach

Post date: 24 Mar 2005
A gentle introduction of formal semantics for students with a basic grounding in discrete mathematic.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1995
 
Syntax and Semantics of Programming Languages, A Laboratory Based Approach

Syntax and Semantics of Programming Languages, A Laboratory Based Approach

Post date: 24 Mar 2005
A gentle introduction of formal semantics for students with a basic grounding in discrete mathematic.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1995


Systematic Software Development Using VDM, 2nd Edition

Post date: 18 Jun 2005
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.
Publisher: Prentice Hall
Publication date: 31 Dec 1990
 
Systematic Software Development Using VDM, 2nd Edition

Systematic Software Development Using VDM, 2nd Edition

Post date: 18 Jun 2005
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.
Publisher: Prentice Hall
Publication date: 31 Dec 1990


The Craft of Programming

Post date: 06 Dec 2006
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
Publisher: Prentice Hall
Publication date: 01 Jun 1981
 
The Craft of Programming

The Craft of Programming

Post date: 06 Dec 2006
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
Publisher: Prentice Hall
Publication date: 01 Jun 1981


The Design of Functional Programs - A Calculational Approach

Post date: 09 Oct 2006
This document shows to what extent functional programs can be designed in a calculational way. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations.
Publication date: 31 Dec 1989
 
The Design of Functional Programs - A Calculational Approach

The Design of Functional Programs - A Calculational Approach

Post date: 09 Oct 2006
This document shows to what extent functional programs can be designed in a calculational way. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations.
Publication date: 31 Dec 1989


Book Categories
Sponsors
Icons8, a free icon pack