Northwestern University

Parent Unit Name

Login

LIBRARIES | ARCH

Menu Search

Start Over

Filtering by: Creator Li, You Subject Computer science

1 entry found

List Gallery Masonry Slideshow

Enhancing Safety and Robustness for Mission-critical Systems with Formal Methods

Description:

Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...

Subject:

Electrical engineering, Computer engineering, and Computer science

Creator:

Li, You

Owner:

Scholarly Digital Publishing

Language:

en

Date Uploaded:

08/23/2023

Date Created:

2023-01-01

Resource Type:

Dissertation

Alternate Identifier:

http://dissertations.umi.com/northwestern:16748 and etdadmin_upload_1013532