Compositional Verification of Flight Critical Systems

Whalen, Michael W (PI)
Heimdahl, Mats (CoI)

Computer Science and Engineering

Project: Research project

Project Details

Description

Compositional Verification of Flight Critical Systems

Status	Finished
Effective start/end date	6/1/13 → 4/21/16

Funding

Rockwell Collins, Inc.