pdf-format: |
|
@InProceedings{finkbeiner_et_al:DagSemProc.07011.2, author = {Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg}, title = {{07011 Executive Summary – Runtime Verification}}, booktitle = {Runtime Verification}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1369}, URN = {urn:nbn:de:0030-drops-13699}, doi = {10.4230/DagSemProc.07011.2}, annote = {Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented program} }
Keywords: | Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented program | |
Seminar: | 07011 - Runtime Verification | |
Issue date: | 2008 | |
Date of publication: | 06.02.2008 |