BookRenter.com's
5-Star Satisfaction Guarantee

We strive to deliver the best value to our customers and ensure complete satisfaction for all our textbook rentals.

You can return your online books for any reason within our refund period – no questions asked.

Every order is available for express shipping, and return shipping is always free.

You'll be happy with the quality of your books (or we'll ship you another one on our dime).

You can extend your rental up to 14 days – at the same cheap daily rental rate.

If you decide to keep the book it will never cost more than the purchase price.

As always, you have access to over 5 million titles. Plus, you can choose from 5 rental periods, so you only pay for what you’ll use. And if you ever run into trouble, our top-notch U.S. based Customer Service team is ready to help by email, chat or phone.

Product Details

Edition:

Binding:

Publisher:

Supplemental materials are not guaranteed for used textbooks or rentals (access codes, DVDs, workbooks).

ISBN:
9783639163834
/ 3639163834
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
by:Aleksandar Dimovski

One of the major challenges in computer science is to put programming on a firmer mathematical basis, in order to improve the correctness of programs. This book presents a semantic framework for verifying safety properties of open sequential programs. The presentation is focused on an Algol- like language that embodies many of the core ...
Show More

One of the major challenges in computer science is to put programming on a firmer mathematical basis, in order to improve the correctness of programs. This book presents a semantic framework for verifying safety properties of open sequential programs. The presentation is focused on an Algol- like language that embodies many of the core ingredients of imperative and functional languages and incorporates data abstraction in its syntax. Game semantics is used to obtain a compositional, incremental way of generating accurate models of programs. Model-checking is made possible by giving certain kinds of concrete automata-theoretic representations of the model. A data-abstraction refinement procedure is developed for model-checking safety properties of programs with infinite integer types. Abstraction refinement, assume-guarantee reasoning and the L* algorithm for learning regular languages are combined to yield a procedure for compositional verification. An implementation based on the FDR model checker for the CSP process algebra demonstrates practicality of the methods. The book should be useful to researchers in the field of Theory and Practice of Software.
Show Less

What's Hot

Our Story

Since launching the first textbook rental site in 2006, BookRenter has never wavered from our mission to make education more affordable for all students. Every day, we focus on delivering students the best prices, the most flexible options, and the best service on earth. On March 13, 2012 BookRenter.com, Inc. formally changed its name to Rafter, Inc. We are still the same company and the same people, only our corporate name has changed.