Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Martin Spiessl"'
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783031171079
Loop abstraction is a central technique for program analysis, because loops can cause large state-space representations if they are unfolded. In many cases, simple tricks can accelerate the program analysis significantly. There are several successful
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::822fdc62dca5991a2c45a0a100243ba3
https://doi.org/10.1007/978-3-031-17108-6_1
https://doi.org/10.1007/978-3-031-17108-6_1
Autor:
Dirk Beyer, Martin Spiessl
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Frama-Cis a well-known platform for source-code analysis of programs written in C. It can be extended via its plug-in architecture by various analysis backends and features an extensive annotation language called ACSL. So far it was hard to compareFr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ad595b88e80e28d25e9acf223243c52
https://doi.org/10.1007/978-3-030-99527-0_26
https://doi.org/10.1007/978-3-030-99527-0_26
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783031171079
The verification community develops two kinds of verification tools: automatic verifiers and interactive verifiers. There are many such verifiers available, and there is steady progress in research. However, cooperation between the two kinds of verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527e0892cf1f04758483ddced1c19a2c
https://doi.org/10.1007/978-3-031-17108-6_7
https://doi.org/10.1007/978-3-031-17108-6_7
Autor:
Dirk Beyer, Martin Spiessl
Publikováno v:
Computer Aided Verification ISBN: 9783030532901
CAV (2)
CAV (2)
Witness validation is an important technique to increase trust in verification results, by making descriptions of error paths (violation witnesses) and important parts of the correctness proof (correctness witnesses) available in an exchangeable form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f3a5e959899287a55b2fdecd6a44efd
https://doi.org/10.1007/978-3-030-53291-8_10
https://doi.org/10.1007/978-3-030-53291-8_10