Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Challenges of Software Verification

Challenges of Software Verification

eText | 24 July 2023

At a Glance

eText

$249.00

or 4 interest-free payments of $62.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Networking & CommunicationsComputer Programming & Software DevelopmentSoftware EngineeringComputer SecurityData EncryptionEngineering & TechnologyElectronics & Communications EngineeringCommunications Engineering & Telecommunications

More in Computer Networking & Communications

Network Security : A Systems Approach - Larry L Peterson

eBOOK

Network Security

A Systems Approach

eBook

RRP $17.59

$16.99

Think Distributed Systems - Dominik Tornow

eBOOK

Think Distributed Systems

eBook

$44.99

Cyberethics 8E - Richard A. Spinello

eTEXT

Cyberethics 8E

eText

$83.67

This product is categorised by