RUNTIME VERIFICATION : a hands-on approach in java, Christian Colombo , Gordon J. Pace
Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha Название: Formal Approaches to Software Testing and Runtime Verification ISBN: 3540496998 ISBN-13(EAN): 9783540496991 Издательство: Springer Рейтинг: Цена: 10713 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: David M. Russinoff Название: Formal Verification of Floating-Point Hardware Design ISBN: 3030070484 ISBN-13(EAN): 9783030070489 Издательство: Springer Рейтинг: Цена: 13009 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The book consists of five parts, the first two of which present a rigorous exposition of the general theory based on the first principles of arithmetic. Part I covers bit vectors and the bit manipulation primitives, integer and fixed-point encodings, and bit-wise logical operations. Part II addresses the properties of floating-point numbers, the formats in which they are encoded as bit vectors, and the various modes of floating-point rounding. In Part III, the theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, Part IV contains high-level specifications of correctness of the basic arithmetic instructions of several major industry-standard floating-point architectures, including all details pertaining to the handling of exceptional conditions. Part V illustrates the methodology, applying the preceding theory to the comprehensive verification of a state-of-the-art commercial floating-point unit. All of these results have been formalized in the logic of the ACL2 theorem prover and mechanically checked to ensure their correctness. They are presented here, however, in simple conventional mathematical notation. The book presupposes no familiarity with ACL2, logic design, or any mathematics beyond basic high school algebra. It will be of interest to verification engineers as well as arithmetic circuit designers who appreciate the value of a rigorous approach to their art, and is suitable as a graduate text in computer arithmetic.
Описание: This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.
Описание: This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.
Автор: Falcone Название: Runtime Verification ISBN: 3319469819 ISBN-13(EAN): 9783319469812 Издательство: Springer Рейтинг: Цена: 11327 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Автор: Shuvendu Lahiri; Giles Reger Название: Runtime Verification ISBN: 3319675303 ISBN-13(EAN): 9783319675305 Издательство: Springer Рейтинг: Цена: 10713 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stream Runtime Monitoring on UAS.- Probabilistic Black-Box Reachability Checking.- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.- Signal Clustering using Temporal Logics.- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.- Witnessing Network Transformations.- Combining Model Checking and Runtime Verification for Safe Robotics.- Monitoring Hyperproperties.- TeLEx: Passive STL Learning Using Only Positive Examples.- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers.- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems.- Monitoring Partially Synchronous Distributed Systems using SMT Solvers.- Runtime Detection of Temporal Memory Errors.- Control Dependencies in Interpretive Systems.- Monitoring Time Intervals.
Название: Lectures on Runtime Verification ISBN: 3319756311 ISBN-13(EAN): 9783319756318 Издательство: Springer Рейтинг: Цена: 9948 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
Автор: Christian Colombo; Martin Leucker Название: Runtime Verification ISBN: 3030037681 ISBN-13(EAN): 9783030037680 Издательство: Springer Рейтинг: Цена: 11478 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Автор: Shaz Qadeer; Serdar Tasiran Название: Runtime Verification ISBN: 3642356311 ISBN-13(EAN): 9783642356315 Издательство: Springer Рейтинг: Цена: 7652 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multimedia Forensics and Counter-Forensics.- Blind Median Filtering Detection Using Statistics in Difference Domain.- Robustness of Color Interpolation Identification against Anti-forensic Operations.- Steganalysis.- Steganalysis of LSB Replacement Using Parity-Aware Features.- Statistical Detection of LSB Matching Using Hypothesis Testing Theory.- Textural Features for Steganalysis.- JPEG-Compatibility Steganalysis Using Block-Histogram of Recompression Artifacts.- Data Hiding in Unusual Content Hiding a Second Appearance in a Physical Relief Surface.- Blind Robust Watermarking Mechanism Based on Maxima Curvature of 3D Motion Data.- Steganography A Game-Theoretic Approach to Content-Adaptive Steganography.- Key-Efficient Steganography.- Covert Channels Secret Agent Radio: Covert Communication through Dirty Constellations.- Anonymity and Privacy Lower Bounds for Private Broadcast Encryption.- The Dangers of Composing Anonymous Channels.- Watermarking A New Measure of Watermarking Security Applied on QIM.- Non-Integer Expansion Embedding for Prediction-Based Reversible Watermarking.- Walsh-Hadamard Transform in the Homomorphic Encrypted Domain and Its Application in Image Watermarking.- Fingerprinting Asymptotic Fingerprinting Capacity in the Combined Digit Model.- Bias Equalizer for Binary Probabilistic Fingerprinting Codes.
Автор: Ezio Bartocci; Rupak Majumdar Название: Runtime Verification ISBN: 3319238191 ISBN-13(EAN): 9783319238197 Издательство: Springer Рейтинг: Цена: 8572 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.
Автор: Axel Legay; Saddek Bensalem Название: Runtime Verification ISBN: 3642407862 ISBN-13(EAN): 9783642407864 Издательство: Springer Рейтинг: Цена: 7652 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.
Автор: Saddek Bensalem; Doron A. Peled Название: Runtime Verification ISBN: 3642046932 ISBN-13(EAN): 9783642046933 Издательство: Springer Рейтинг: Цена: 10713 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru