Zobrazeno 1 - 10
of 77
pro vyhledávání: '"VERIFICATION (SOFTWARE ENGINEERING)"'
Autor:
Eilers, Marco
Since software systems increasingly govern both vital infrastructure and people's daily lives, ensuring their safety and security is vital. Where standard measures like testing are insufficient, deductive verification can be used to mathematically pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::549dde96d828c6a562c46508efc3fb80
Autor:
Ter-Gabrielyan, Arshavir
Recent advances in deductive program verification correlate with the evolution of logics for modular reasoning about complex programs. Verification techniques built upon these logics require automation to help to verify practically essential rich pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab7f65dcf33901df0d178a008579ca02
Autor:
Birkner, Rüdiger
One cannot imagine the world today without the Internet, as it has become an integral part of our daily lives. However, with all the benefits and opportunities it brings also come enormous availability and reliability requirements, which put immense
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f52ad9e644caa5afe39461ca1c28396
https://hdl.handle.net/20.500.11850/515053
https://hdl.handle.net/20.500.11850/515053
Autor:
Elhassany, Ahmed
Many critical services, such as e-commerce, emergency response, or even remote surgeries, rely on computer networks. This strategic importance makes them a mission-critical infrastructure that must operate reliably, with minimum downtime. Achieving r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd03e0f56f888d9f4668a3139120057c
Publikováno v:
ASE
Technical Report / ETH Zurich, Department of Computer Science, 506
Technical Report / ETH Zurich, Department of Computer Science, 506
This paper describes a flexible and easily extensible predicate abstraction-based approach to the verification of STLusage, and observes the advantages of verifying programsin terms of high-level data structures rather than low-level pointer manipula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c229f8b42f10447cbe69812003cbc232
https://ora.ox.ac.uk/objects/uuid:5eeacaed-5a29-4995-966f-ceb5507e8935
https://ora.ox.ac.uk/objects/uuid:5eeacaed-5a29-4995-966f-ceb5507e8935
Publikováno v:
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
ICSE
ICSE
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
ISBN:978-1-4503-3900-1
ISBN:978-1-4503-4205-6
ISBN:978-1-4503-3900-1
ISBN:978-1-4503-4205-6
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5127f86bfec34a50362334509737da7
https://kar.kent.ac.uk/58937/1/ICSE-2016.pdf
https://kar.kent.ac.uk/58937/1/ICSE-2016.pdf