Natasha Sharygina – författare
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
615 kr
Skickas inom 10-15 vardagar
815 kr
Läs direkt efter köp
There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.
The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
449 kr
Skickas inom 5-8 vardagar
667 kr
Skickas inom 5-8 vardagar
449 kr
Skickas inom 5-8 vardagar
559 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
559 kr
Skickas inom 10-15 vardagar
1 112 kr
Skickas inom 10-15 vardagar
1 459 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
