Автор: Roderick Bloem; Eli Arbel Название: Hardware and Software: Verification and Testing ISBN: 3319490516 ISBN-13(EAN): 9783319490519 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.
Автор: Ren? Alt; Andreas Frommer; R. Baker Kearfott; Wolf Название: Numerical Software with Result Verification ISBN: 3540212604 ISBN-13(EAN): 9783540212607 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri?cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o?, and in model interpretation. The techniques of validated computing have proven their merits in many scienti?c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from ?elds including real, complex and functional analysis, semigroups, probability, statistics, fuzzyintervalanalysis, fuzzylogic, automaticdi?erentiation, computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essent
Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha Название: Formal Approaches to Software Testing and Runtime Verification ISBN: 3540496998 ISBN-13(EAN): 9783540496991 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.
Автор: Karen Yorav Название: Hardware and Software: Verification and Testing ISBN: 3540779647 ISBN-13(EAN): 9783540779643 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Ahrendt Название: Deductive Software Verification – The KeY Book ISBN: 3319498118 ISBN-13(EAN): 9783319498119 Издательство: Springer Рейтинг: Цена: 12578.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Автор: Tevfik Bultan; Fang Yu; Muath Alkhalaf; Abdulbaki Название: String Analysis for Software Verification and Security ISBN: 3319686682 ISBN-13(EAN): 9783319686684 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis.
String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book.
Like many other program-analysis problems, it is not possible to solve the string analysis problem precisely (i.e., it is not possible to precisely determine the set of string values that can reach a program point). However, one can compute over- or under-approximations of possible string values. If the approximations are precise enough, they can enable developers to demonstrate existence or absence of bugs in string manipulating code. String analysis has been an active research area in the last decade, resulting in a wide variety of string-analysis techniques.
This book will primarily target researchers and professionals working in computer security, software verification, formal methods, software engineering and program analysis. Advanced level students or instructors teaching or studying courses in computer security, software verification or program analysis will find this book useful as a secondary text.
Автор: Eran Yahav Название: Hardware and Software: Verification and Testing ISBN: 3319133373 ISBN-13(EAN): 9783319133379 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
Автор: Nir Piterman Название: Hardware and Software: Verification and Testing ISBN: 3319262866 ISBN-13(EAN): 9783319262864 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.
Автор: Janusz Laski; William Stanley Название: Software Verification and Analysis ISBN: 1849968292 ISBN-13(EAN): 9781849968294 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
Автор: Marcus S. Fisher Название: Software Verification and Validation ISBN: 1441941002 ISBN-13(EAN): 9781441941008 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The World is lacking an in-depth technical book describing the meth- ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to- day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech- nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.
Автор: B. Berard; P. McKenzie; M. Bidoit; A. Finkel; F. L Название: Systems and Software Verification ISBN: 3642074782 ISBN-13(EAN): 9783642074783 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
