Theoretical Computer Science and General Issues

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Editors: Kowalewski, Stefan, Philippou, Anna (Eds.)

Free Preview

Buy this book

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

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Hierarchical Set Decision Diagrams and Regular Models

    Thierry-Mieg, Yann (et al.)

    Pages 1-15

  • Büchi Complementation and Size-Change Termination

    Fogarty, Seth (et al.)

    Pages 16-30

  • Learning Minimal Separating DFA’s for Compositional Verification

    Chen, Yu-Fang (et al.)

    Pages 31-45

  • RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

    Gofman, Mikhail I. (et al.)

    Pages 46-49

  • ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets

    Pacini Naumovich, Elina (et al.)

    Pages 50-53

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-00768-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-642-00767-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
Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Editors
  • Stefan Kowalewski
  • Anna Philippou
Series Title
Theoretical Computer Science and General Issues
Series Volume
5505
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-00768-2
DOI
10.1007/978-3-642-00768-2
Softcover ISBN
978-3-642-00767-5
Edition Number
1
Number of Pages
XVI, 456
Topics