Theoretical Computer Science and General Issues

Graph Transformation

7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Editors: Giese, Holger, König, Barbara (Eds.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-09108-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-09107-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 7th International
Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.
The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Table of contents (18 chapters)

  • Parameterized Verification and Model Checking for Distributed Broadcast Protocols

    Delzanno, Giorgio

    Pages 1-16

  • Tableau-Based Reasoning for Graph Properties

    Lambers, Leen (et al.)

    Pages 17-32

  • Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, Christopher M. (et al.)

    Pages 33-48

  • Generating Abstract Graph-Based Procedure Summaries for Pointer Programs

    Jansen, Christina (et al.)

    Pages 49-64

  • Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

    Jansen, Christina (et al.)

    Pages 65-80

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-09108-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-09107-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graph Transformation
Book Subtitle
7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Editors
  • Holger Giese
  • Barbara König
Series Title
Theoretical Computer Science and General Issues
Series Volume
8571
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-09108-2
DOI
10.1007/978-3-319-09108-2
Softcover ISBN
978-3-319-09107-5
Edition Number
1
Number of Pages
XII, 285
Number of Illustrations and Tables
110 b/w illustrations
Topics