On-the-Fly Techniques for Game-Based Software Model Checking

First Author: Bakewell A
Attributed to:  Modular Abstraction and Abstraction Refinement: A Game-Semantic Approach funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-78800-3_7

Publication URI: http://dx.doi.org/10.1007/978-3-540-78800-3_7

Type: Book Chapter

Book Title: Tools and Algorithms for the Construction and Analysis of Systems (2008)

Page Reference: 78-92

ISBN: 978-3-540-78799-0