Coverart for item
The Resource NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Julia M. Badger, Kristin Yvonne Rozier (eds.), (electronic book)

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Julia M. Badger, Kristin Yvonne Rozier (eds.), (electronic book)

Label
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Title
NASA Formal Methods
Title remainder
11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Statement of responsibility
Julia M. Badger, Kristin Yvonne Rozier (eds.)
Title variation
NFM 2019
Creator
Contributor
Subject
Genre
Language
eng
Summary
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 engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems
Member of
Cataloging source
LQU
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
N45 2019
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2019
http://bibfra.me/vocab/lite/meetingName
NFM (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Badger, Julia M.
  • Rozier, Kristin Yvonne.
Series statement
  • Lecture notes in computer science
  • Formal methods
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
11460
http://library.link/vocab/subjectName
Formal methods (Computer science)
Label
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Julia M. Badger, Kristin Yvonne Rozier (eds.), (electronic book)
Instantiates
Publication
Note
Includes author index
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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, and 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 engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems
Control code
on1105184391
Dimensions
unknown
Extent
1 online resource (xxi, 392 p.)
File format
multiple file formats
Form of item
online
Isbn
9783030206529
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-20
Other physical details
ill. (some col.)
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1105184391
Label
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Julia M. Badger, Kristin Yvonne Rozier (eds.), (electronic book)
Publication
Note
Includes author index
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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, and 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 engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems
Control code
on1105184391
Dimensions
unknown
Extent
1 online resource (xxi, 392 p.)
File format
multiple file formats
Form of item
online
Isbn
9783030206529
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-20
Other physical details
ill. (some col.)
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1105184391

Library Locations

Processing Feedback ...