Leif Pedersen

Learn More
Formal specifications and supporting tools have shown to be very effective to improve the quality and correctness of a software system. A compiler is large and complex software; it takes as input a program written in some language and generates as output a program in another language. One of the main characteristics of any compiler is to preserve the(More)
Summary form only given. Future manned exploration will involve increasingly complex missions in space and on planetary surfaces. Flight crews will need to be largely self-reliant in routine operation with ground support providing rapid expert consultation and ad hoc support. Creating and executing such control strategies requires machine intelligence,(More)
  • 1