Copied Deductive Software Verification The KeY Book
Deductive Software Verification The KeY Book
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. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$99.00 | $99.00 |
|
$89.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Yearbook of the European Convention on Human Rights / Annuaire De La Convention Europeenne des Droit
$74.99
A Chair for My Mother - Big Book Unit
$47.00
Kulturelle Differenzierung in Wirtschaftskooperationen
$49.99
Grenzgnger
$59.99
Religise Differenz in der frhen Kindheit
$79.99
African Edible Insects As Alternative Source of Food, Oil, Protein and Bioactive Components
$199.99
Ask Me No Questions
$7.46
Discrete Dynamical Models
$54.99
Catalysis
$39.99
Governance Beyond the Law
$129.00
Nuclear Risk in Central Asia
$129.00
The Positive Function of Evil
$39.99
Prfungsvorbereitung Bilanzbuchhalter
$44.99
Scattering and Attenuation of Seismic Waves, Part II
$54.99
Coarse-to-Fine Natural Language Processing
$109.99
Leadership: All You Need To Know 2nd edition
$39.99
Learning Cities
$39.99
Applied Polymer Light Microscopy
$39.99
Red Light, Green Light
$5.96
Genealogy and Fiction in Hardy
$109.99
Sketches of the Nineteenth Century
$39.99
Automotive NVH Technology
$79.99
Einfhrung in den Wrme- und Stoffaustausch
$39.99
Molecular Pathology in Clinical Practice: Genetics
$109.99
Diseases of the Salivary Glands Including Dry Mouth and Sjgrens Syndrome
$54.99
Analyzing Violence Against Women
$119.00
Neuro-Ophthalmology
$249.99
Bildverarbeitung fr die Medizin 2011
$99.00
Ludwig Boltzmann: His Later Life and Philosophy, 1900-1906
$199.99
Inflation Targeting in MENA Countries
$54.99
Democratic Dilemmas of Multilevel Governance
$54.99
Responsible Procurement
$59.99
International Order at Sea
$199.99
Fundamentals of X Programming
$39.99
STEM and Social Justice: Teaching and Learning in Diverse Settings
$109.99
The Essentials of Contract Negotiation
$69.99
Linear System Theory
$129.00
Lokaltherapeutische Standards fr chronische Hautwunden
$64.99
Football Hooliganism in Europe
$39.99
Biologische Meereskunde
$29.99
