Theoretical Computer Science and General Issues

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Editors: Raschke, Alexander, Méry, Dominique, Houdek, Frank (Eds.)

Free Preview

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-48077-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover 76,95 €
price for Spain (gross)
About this book

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.

The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Pages 3-5

    Cavalcanti, Ana

  • Adding Concurrency to a Sequential Refinement Tower

    Pages 6-23

    Schellhorn, Gerhard (et al.)

  • Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

    Pages 27-43

    Clarisó, Robert (et al.)

  • Formal Verification of Interoperability Between Future Network Architectures Using Alloy

    Pages 44-60

    Jahanian, Mohammad (et al.)

  • Experiences on Teaching Alloy with an Automated Assessment Platform

    Pages 61-77

    Macedo, Nuno (et al.)

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-48077-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover 76,95 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rigorous State-Based Methods
Book Subtitle
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Editors
  • Alexander Raschke
  • Dominique Méry
  • Frank Houdek
Series Title
Theoretical Computer Science and General Issues
Series Volume
12071
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-48077-6
DOI
10.1007/978-3-030-48077-6
Softcover ISBN
978-3-030-48076-9
Edition Number
1
Number of Pages
XII, 428
Number of Illustrations
609 b/w illustrations, 66 illustrations in colour
Topics