المؤلفون: 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

المؤلفون: Pârvu, Andrei

مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE), STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE), MIKROPROZESSOREN + MIKROCOMPUTER (HARDWARE), VERIFIKATION (SOFTWARE ENGINEERING), MICROPROCESSORS + MICROCOMPUTERS (HARDWARE)

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

المؤلفون: Claudio Corrodi, Benjamin Morandi, Christopher M. Poskitt, Alexander Heußner

المساهمون: Rensink, Arend, Zambon, Eduardo

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 181, Iss Proc. GaM 2015, Pp 32-47 (2015)
Electronic Proceedings in Theoretical Computer Science, 181

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, VERIFICATION (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), VERIFIKATION (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), Semantics (computer science), Computer science, Concurrency, SCOOP, 02 engineering and technology, computer.software_genre, lcsh:QA75.5-76.95, Data processing, computer science, Computer Science - Software Engineering, Development (topology), Software, 0202 electrical engineering, electronic engineering, information engineering, Groove (engineering), computer.programming_language, Object-oriented programming, Computer Science - Programming Languages, Programming language, business.industry, lcsh:Mathematics, 020207 software engineering, 16. Peace & justice, lcsh:QA1-939, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Transformation (function), Computer Science - Distributed, Parallel, and Cluster Computing, 020201 artificial intelligence & image processing, Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science, ddc:004, business, computer, Programming Languages (cs.PL)

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e33db7f705f282a8acb5689ac995d6d
http://arxiv.org/abs/1504.02611

المؤلفون: Nguyen, Thanh Binh, Sprenger, Christoph

مصطلحات موضوعية: NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS), DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME), NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME), VERIFIKATION (SOFTWARE ENGINEERING), ddc:004

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::726de302819879b3a4a6c97e5c6b4030
https://hdl.handle.net/20.500.11850/99173

المؤلفون: Schmid, Lara

مصطلحات موضوعية: NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS), DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME), NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME), VERIFIKATION (SOFTWARE ENGINEERING)

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