cam a22 5 4500 317157221 CHVBK 20201009192932.0 m d cr |n |||||||| 140625s2014 gw |||| s 0 0|eng d 978-3-319-06200-6 978-3-319-06199-3 (print) 10.1007/978-3-319-06200-6 doi (SERSOL)ssj0001204990 (IDSSG)000655510 (WaSeSS)ssj0001204990 WaSeSS QA76.758 UMZ bicssc COM051230 bisacsh 005.1 23 DEAGI0ACA70CE12CB09BBC1257FCD003FA40F iCapture Badger Julia M. editor NASA Formal Methods [Elektronische Daten] 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings edited by Julia M. Badger, Kristin Yvonne Rozier Cham Springer International Publishing Imprint: Springer 2014 1 online resource (XXVI, 360 p. 114 illus.) online resource text file PDF rda Lecture Notes in Computer Science 0302-9743 8430 Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.-Application of formal methods to emerging technologies. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies. Computer science Software engineering Operating systems (Computers) Logic design Rozier Kristin Yvonne editor SpringerLink (Online service) Printed edition 9783319061993 https://link.springer.com/10.1007/978-3-319-06200-6 Uni Basel: Volltext https://link.springer.com/openurl?genre=book&isbn=978-3-319-06199-3 Uni Bern: Volltext BK020053 XK020053 XK020000 Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates SpringerLINK Lecture Notes in Computer Science Contemporary (1997-2014) noalma ids I IDSSG HSG HSG ONL HONL000655510 IDSBB A145 A145 145VT IDSBB B405 B405 405VT IDSBB 100 1- Badger Julia M. editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8430 IDSBB 700 1- Rozier Kristin Yvonne editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783319061993 IDSBB 856 40 https://link.springer.com/10.1007/978-3-319-06200-6 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-319-06199-3 Uni Bern: Volltext IDSSG 490 0- Lecture Notes in Computer Science 8430 IDSSG 700 1- Badger Julia M. IDSSG 700 1- Rozier Kristin Yvonne IDSSG 856 4- https://doi.org/10.1007/978-3-319-06200-6 Full text for the University of St. Gallen SWISSBIB 317157221