Software Verification
portes grátis
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
Fan, Chuchu; Bloem, Roderick; Sharygina, Natasha; Dimitrova, Rayna
Springer Nature Switzerland AG
02/2022
197
Mole
Inglês
9783030955601
15 a 20 dias
332
Descrição não disponível.
VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Accessible to Regular Developers.- A Calculus for Multi-language Operational Semantics.- Partial Order Reduction for Timed Actors.- Uncertainty-Aware Signal Temporal Logic Inference.- Designing and Proving Properties of the Abaco Autoscaler Using TLA+.- Case Study: Analysis of Autonomous Center line Tracking Neural Networks.- Abstract Interpretation of LLVM with a Region-Based Memory Model.- NSV 2021.- Formal Verification of Neural Network Controllers for Collision-Free Flight.- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer hardware;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal logic;mathematics;matrix algebra;model checking;parallel processing systems;software architecture;software design;software engineering;theoretical computer science
VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Accessible to Regular Developers.- A Calculus for Multi-language Operational Semantics.- Partial Order Reduction for Timed Actors.- Uncertainty-Aware Signal Temporal Logic Inference.- Designing and Proving Properties of the Abaco Autoscaler Using TLA+.- Case Study: Analysis of Autonomous Center line Tracking Neural Networks.- Abstract Interpretation of LLVM with a Region-Based Memory Model.- NSV 2021.- Formal Verification of Neural Network Controllers for Collision-Free Flight.- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer hardware;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal logic;mathematics;matrix algebra;model checking;parallel processing systems;software architecture;software design;software engineering;theoretical computer science
