Skip to main content
SpringerLink
Log in
Book cover

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Julia M. Badger

    1. NASA, Houston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kristin Yvonne Rozier

    1. Iowa State University, Ames, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11460)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: NFM 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Learning-Based Testing of an Industrial Measurement Device

    • Bernhard K. Aichernig, Christian Burghard, Robert Korošec
    Pages 1-18

  3. \(\textsf {ML}_{\nu }\): A Distributed Real-Time Modal Logic

    • James Ortiz, Moussa Amrani, Pierre-Yves Schobbens
    Pages 19-35

  4. Local Reasoning for Parameterized First Order Protocols

    • Rylo Ashmore, Arie Gurfinkel, Richard Trefler
    Pages 36-53

  5. Generation of Signals Under Temporal Constraints for CPS Testing

    • Benoît Barbot, Nicolas Basset, Thao Dang
    Pages 54-70

  6. Traffic Management for Urban Air Mobility

    • Suda Bharadwaj, Steven Carr, Natasha Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
    Pages 71-87

  7. Towards Full Proof Automation in Frama-C Using Auto-active Verification

    • Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov
    Pages 88-105

  8. Using Standard Typing Algorithms Incrementally

    • Matteo Busi, Pierpaolo Degano, Letterio Galletta
    Pages 106-122

  9. Using Binary Analysis Frameworks: The Case for BAP and angr

    • Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner
    Pages 123-129

  10. Automated Backend Selection for ProB Using Deep Learning

    • Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
    Pages 130-147

  11. Optimizing a Verified SAT Solver

    • Mathias Fleury
    Pages 148-165

  12. Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction

    • Aman Goel, Karem Sakallah
    Pages 166-185

  13. Towards a Two-Layer Framework for Verifying Autonomous Vehicles

    • Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
    Pages 186-203

  14. Clausal Proofs of Mutilated Chessboards

    • Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
    Pages 204-210

  15. Practical Causal Models for Cyber-Physical Systems

    • Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
    Pages 211-227

  16. Extracting and Optimizing Formally Verified Code for Systems Programming

    • Eleftherios Ioannidis, Frans Kaashoek, Nickolai Zeldovich
    Pages 228-236

  17. Structured Synthesis for Probabilistic Systems

    • Nils Jansen, Laura Humphrey, Jana Tumova, Ufuk Topcu
    Pages 237-254

  18. Design and Runtime Verification Side-by-Side in eTrice

    • Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz
    Pages 255-262

  19. Data Independence for Software Transactional Memory

    • Jürgen König, Heike Wehrheim
    Pages 263-279

  20. Transaction Protocol Verification with Labeled Synchronization Logic

    • Mohsen Lesani
    Pages 280-297
Back to top

Other volumes

  1. NASA Formal Methods

Keywords

About this book

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.

The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

Editors and Affiliations

  • NASA, Houston, USA

    Julia M. Badger

  • Iowa State University, Ames, USA

    Kristin Yvonne Rozier

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation