(Ilmumisaeg: 03-Apr-2025, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781316516133)
This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problems for graduate students, and new material on to...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Doc...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Doc...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Docto...Loe edasi...
(Ilmumisaeg: 08-Jun-2023, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781108484992)
This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies ar...Loe edasi...
(Ilmumisaeg: 07-Mar-2023, Paperback / softback, Kirjastus: MIT Press, ISBN-13: 9780262546232)
The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs-- This comprehensive and highly readable text...Loe edasi...
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers pr...Loe edasi...
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers pr...Loe edasi...
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers pr...Loe edasi...
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were...Loe edasi...
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access...Loe edasi...
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Sari: Synthesis Lectures on Computer Science
(Ilmumisaeg: 01-Jun-2021, Hardback, Kirjastus: Morgan & Claypool Publishers, ISBN-13: 9781636391304)
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access...Loe edasi...
Explores a class of methods that are capable of formally verifying properties of deep neural networks. The book introduces a unified mathematical framework for verifying neural networks, classify existing methods under this framework, provide pedago...Loe edasi...
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume...Loe edasi...
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the...Loe edasi...
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in Jul...Loe edasi...
The huge proliferation of security vulnerability exploits, worms, and viruses place an incredible drain on both cost and confidence for manufacturers and consumers. The release of trustworthy code requires a specific set of skills and techniques, but...Loe edasi...
Covering regulatory requirements stipulated by the FDA, this book delineates the organization, planning, verification, and documentation activities and procedural controls required for compliance with worldwide computer systems validation regulations...Loe edasi...
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...Loe edasi...
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers p...Loe edasi...
