↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 TOOLympics 2019: An Overview of Competitions in Formal Methods
  3. Altmetric Badge
    Chapter 2 Confluence Competition 2019
  4. Altmetric Badge
    Chapter 3 International Competition on Runtime Verification (CRV)
  5. Altmetric Badge
    Chapter 4 Presentation of the 9th Edition of the Model Checking Contest
  6. Altmetric Badge
    Chapter 5 The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
  7. Altmetric Badge
    Chapter 6 The Rewrite Engines Competitions: A RECtrospective
  8. Altmetric Badge
    Chapter 7 RERS 2019: Combining Synthesis with Real-World Models
  9. Altmetric Badge
    Chapter 8 SL-COMP: Competition of Solvers for Separation Logic
  10. Altmetric Badge
    Chapter 9 Automatic Verification of C and Java Programs: SV-COMP 2019
  11. Altmetric Badge
    Chapter 10 The Termination and Complexity Competition
  12. Altmetric Badge
    Chapter 11 International Competition on Software Testing (Test-Comp)
  13. Altmetric Badge
    Chapter 12 VerifyThis – Verification Competition with a Human Factor
  14. Altmetric Badge
    Chapter 13 CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker
  15. Altmetric Badge
    Chapter 14 Extending DIVINE with Symbolic Verification Using SMT
  16. Altmetric Badge
    Chapter 15 ESBMC v6.0: Verifying C Programs Using k -Induction and Invariant Inference
  17. Altmetric Badge
    Chapter 16 JayHorn : A Java Model Checker
  18. Altmetric Badge
    Chapter 17 JBMC: Bounded Model Checking for Java Bytecode
  19. Altmetric Badge
    Chapter 18 Java Pathfinder at SV-COMP 2019 (Competition Contribution)
  20. Altmetric Badge
    Chapter 19 PeSCo: Predicting Sequential Combinations of Verifiers
  21. Altmetric Badge
    Chapter 20 Pinaka : Symbolic Execution Meets Incremental Solving
  22. Altmetric Badge
    Chapter 21 Symbolic Pathfinder for SV-COMP
  23. Altmetric Badge
    Chapter 22 VeriFuzz: Program Aware Fuzzing
  24. Altmetric Badge
    Chapter 23 VIAP 1.1
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
12 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer International Publishing, June 2019
DOI 10.1007/978-3-030-17502-3
ISBNs
978-3-03-017501-6, 978-3-03-017502-3
Editors

Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 12 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Argentina 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Student > Master 8 67%
Student > Ph. D. Student 5 42%
Professor > Associate Professor 3 25%
Researcher 2 17%
Student > Bachelor 1 8%
Other 1 8%
Readers by discipline Count As %
Computer Science 16 133%
Engineering 3 25%
Mathematics 1 8%