단행본 상세

URL복사하기
서지주요정보
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings [electronic resource]
서명 / 저자 NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / edited by Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez.
저자명 Dutle, Aaron. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Moscato, Mariano M. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Titolo, Laura. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Muñoz, César A. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Perez, Ivan. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
Online Access https://doi.org/10.1007/978-3-030-76384-8 URL

서지기타정보

서지기타정보
청구기호 QA76.758
판사항 1st ed. 2021.
형태사항 XVI, 402 p. 133 illus., 80 illus. in color. online resource.
총서명 Programming and Software Engineering, 2945-9168 ; 12673
언어 English
내용 Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids -- nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement -- Minimum-Violation Traffic Management for Urban Air Mobility -- Integrating Formal Verification and Assurance: An Inspection Rover Case Study -- Towards verifying SHA256 in OpenSSL with the Software Analysis Workbench -- Polygon Merge: A Geometric Algorithm Verified Using PVS -- Program Sketching using Lifted Analysis for Numerical Program Families -- Specification Decomposition for Reactive Synthesis -- On Symmetry and Quantification: A New Approach to Verify Distributed Protocols -- Integrating Runtime Verification into a Sounding Rocket Control System -- Verification of Functional Correctness of Code Diversi cation Techniques -- Scalable Reliability Analysis by Lazy Verification -- Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty -- Good fences make good neighbors: Using formally verified safe trajectories to design a predictive geofence algorithm -- Online Shielding for Stochastic Systems -- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model -- An Infrastructure for Faithful Execution of Remote Attestation Protocols -- Verifying min-plus Computations with Coq -- Efficient Verification of Optimized Code: Correct High-speed X25519 -- A formal proof of the Lax equivalence theorem for finite difference schemes -- Recursive Variable-Length State Compression for Multi-Core Software Model Checking -- Runtime Verification of Generalized Test Tables -- Quasi-Equal Clock Reduction On-the-Fly -- On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
주제 Software engineering.
Computer science.
Computer engineering.
Computer networks .
Artificial intelligence.
Computer simulation.
Software Engineering.
Theory of Computation.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Modelling.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030763831 Printed edition: 9783030763855
ISBN 9783030763848
기타 표준번호 10.1007/978-3-030-76384-8
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기