Code Level Safety Analysis (Or “IS IT SAFE?”)

10/10/97

Click here to start

Table of Contents

Code Level Safety Analysis (Or “IS IT SAFE?”)

Software Safety

Software Safety Verification

Long Thin Slice Problem 

Safety Code Analysis Method

Results and Current Status

 Author: Ken Wong 

Email: kwong@cs.ubc.ca 

Home Page: http://www.cs.ubc.ca/spider/kwong/home.html