pdf-format: |
|
@Article{beyer_et_al:DR:2014:4615, author = {Dirk Beyer and Marieke Huisman and Vladimir Klebanov and Rosemary Monahan}, title = {{Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)}}, pages = {1--19}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {4}, editor = {Dirk Beyer and Marieke Huisman and Vladimir Klebanov and Rosemary Monahan}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4615}, URN = {urn:nbn:de:0030-drops-46157}, doi = {10.4230/DagRep.4.4.1}, annote = {Keywords: Formal Verification, Deductive Verification, Automatic Verification, Theorem Proving, Model Checking, Program Analysis, Competition, Comparative Eval} }
Keywords: | Formal Verification, Deductive Verification, Automatic Verification, Theorem Proving, Model Checking, Program Analysis, Competition, Comparative Eval | |
Seminar: | Dagstuhl Reports, Volume 4, Issue 4 | |
Issue date: | 2014 | |
Date of publication: | 27.08.2014 |