Acquisition Source
Ames Research Center
Document Type
Technical Memorandum (TM)
Authors
Zsófia Ádám
(Budapest University of Technology and Economics Budapest, Pest, Hungary) Ignacio D Lopez-Miguel
(TU Wien Vienna, Austria) Anastasia Mavridou (KBR (United States) Houston, Texas, United States) Thomas Pressburger (Ames Research Center Mountain View, California, United States) Martin Bes (European Organization for Nuclear Research Geneva, Switzerland) Enrique Blanco Vinuela
(European Organization for Nuclear Research Geneva, Switzerland) Andreas Katis
(KBR (United States) Houston, Texas, United States) Jean-Charles Tournier (European Organization for Nuclear Research Geneva, Switzerland) Khanh V Trinh (KBR (United States) Houston, Texas, United States) Borja Fernandez Adiego (European Organization for Nuclear Research Geneva, Switzerland) Date Acquired
March 20, 2023
Publication Date
March 1, 2023
Publication Information
Publisher: National Aeronautics and Space Administration
Subject Category
Computer Programming and Software Funding Number(s)
CONTRACT_GRANT: 80ARC020D0010
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
formal methodsnatural language requirementsverificationmodel checkingprogrammable logic controllersFRETPLCverif