Category: Formal Methods

Certification Considerations for Adaptive Systems

Siddhartha Bhattacharyya, Ph.D.
Darren D. Cofer, Ph.D.
David J. Musliner, Ph.D.
Joseph B. Mueller, Ph.D.
Eric Engstrom

Towards Realizability Checking of Contracts using Theories

Andrew J. Gacek, Ph.D.
Andreas Katis
Michael W. Whalen, Ph.D.
John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.

Requirements Analysis of a Quad-Redundant Flight Control System

John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.
Steven P. Miller, Ph.D.
Michael W. Whalen, Ph.D.