http://iet.metastore.ingenta.com
1887

Formal verification

Formal verification

For access to this article, please select a purchase option:

Buy chapter PDF
£10.00
(plus tax if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Formal verification is another way to check several quality characteristics of a system. The aim is to explore all the possible states of the system to check for properties of interest such as safety (nothing bad will happen), liveness (something good will happen), and fairness (independent subsystems make progress), or common design flaws such as deadlock (the system should not reach a state in which no further action is possible), and livelock/starvation (when a subsystem is prevented from taking any action because of resource contention).

Chapter Contents:

  • 11.1 Introduction and background
  • 11.2 Formal specification
  • 11.2.1 Ambient calculus and ambient logic
  • 11.2.2 Linear temporal logic
  • 11.3 Model checking
  • 11.4 Static and dynamic (formal) verification
  • 11.5 Summary

Inspec keywords: software quality; formal verification

Other keywords: formal verification; system quality characteristics; design flaws

Subjects: Software engineering techniques; Formal methods

Preview this chapter:
Zoom in
Zoomout

Formal verification, Page 1 of 2

| /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch11-1.gif /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch11-2.gif

Related content

content/books/10.1049/pbhe012e_ch11
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address