Back to Results
First PageMeta Content
Computing / Software engineering / Formal methods / Software / Theoretical computer science / Simulation software / Visual programming languages / Numerical software / Simulink / SIGNAL / Autopilot / Formal verification


Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University
Add to Reading List

Document Date: 2018-09-30 08:43:02


Open Document

File Size: 539,08 KB

Share Result on Facebook
UPDATE