المؤلفون: Eilers, Marco

المساهمون: Müller, Peter, Basin, David, Huisman, Marieke, Murray, Toby

مصطلحات موضوعية: Smart Contracts, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), information flow, Python (programming language), ddc:004

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::549dde96d828c6a562c46508efc3fb80

المؤلفون: Ter-Gabrielyan, Arshavir

المساهمون: Müller, Peter, Vechev, Martin, Wies, Thomas

مصطلحات موضوعية: Separation logic, Software Verification, Software Engineering, Formal verification, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), Counterexamples, DIRECTED GRAPHS (GRAPH THEORY), SEMIGROUPS (ALGEBRA), Deductive Verification, ddc:004, First-order logic, SMT solvers

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab7f65dcf33901df0d178a008579ca02

المؤلفون: Birkner, Rüdiger

المساهمون: Vanbever, Laurent, Vechev, Martin, Gember-Jacobson, Aaron, Walker, David

مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), NETWORK MONITORING (COMPUTER SYSTEMS), COMPUTER NETWORKS, ddc:004

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f52ad9e644caa5afe39461ca1c28396
https://hdl.handle.net/20.500.11850/515053

المؤلفون: Elhassany, Ahmed

المساهمون: Vanbever, Laurent, Akella, Aditya, Krishnamurthy, Arvind, Singla, Ankit, Vechev, Martin

مصطلحات موضوعية: Generalities, science, VERIFICATION (SOFTWARE ENGINEERING), ddc:000, Programming languages, Computer networks, program synthesis

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd03e0f56f888d9f4668a3139120057c

المؤلفون: Nicolas Blanc, Alex Groce, Daniel Kroening

المساهمون: Stirewalt, R, Egyed, A, Fischer, B

المصدر: ASE
Technical Report / ETH Zurich, Department of Computer Science, 506

مصطلحات موضوعية: Model checking, Iterator, Programming language, Computer science, C++ (PROGRAMMIERSPRACHEN), computer.software_genre, Semantics, Data structure, Extensibility, Data processing, computer science, Predicate abstraction, VERIFICATION (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), C++ (PROGRAMMING LANGUAGES), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Pointer (computer programming), ddc:004, computer

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c229f8b42f10447cbe69812003cbc232
https://ora.ox.ac.uk/objects/uuid:5eeacaed-5a29-4995-966f-ceb5507e8935

المؤلفون: Maria Christakis, Peter Müller, Valentin Wüstholz

المصدر: 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
ICSE

مصطلحات موضوعية: Code review, Programming language, Computer science, GeneralLiterature_INTRODUCTORYANDSURVEY, Partial verification, 020207 software engineering, Static program analysis, 02 engineering and technology, CODING (SOFTWARE ENGINEERING), computer.software_genre, Symbolic execution, GeneralLiterature_MISCELLANEOUS, VERIFICATION (SOFTWARE ENGINEERING), VERIFIKATION (SOFTWARE ENGINEERING), KODIERUNG (SOFTWARE ENGINEERING), Data processing, computer science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Redundancy (engineering), Hardware_ARITHMETICANDLOGICSTRUCTURES, ddc:004, QA, computer

وصف الملف: application/pdf; application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5127f86bfec34a50362334509737da7
https://kar.kent.ac.uk/58937/1/ICSE-2016.pdf

المؤلفون: Hahn, Florian

مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), SPEZIELLE PROGRAMMIERSPRACHEN, VERIFIKATION (SOFTWARE ENGINEERING), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), SPECIAL PROGRAMMING LANGUAGES, PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::715a58b46b412f3f87e7ab4586d25895

المؤلفون: Juhasz, Uri

المساهمون: Gurfinkel, Arie, Müller, Peter

مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004, VERIFIKATION (SOFTWARE ENGINEERING)

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5519927ed2e861de8ae8f335d4671fc1

المؤلفون: Schwerhoff, Malte H.

المساهمون: Jacobs, Bart, Müller, Peter

مصطلحات موضوعية: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), VERIFIKATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), ddc:004

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::421277ad0aa2644cf3a5c647d015f123

المؤلفون: Rothenberger, Frederik

مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), VERIFIKATION (SOFTWARE ENGINEERING)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::81fac601d11e9e872c17b57c25fefaea