CoVeriTeam Service: Verification as a Service

Beyer, Dirk ; Kanav, Sudeep und Wachowitz, Henrik (2023): CoVeriTeam Service: Verification as a Service. 45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023. Institute of Electrical and Electronics Engineers (Hrsg.), In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Piscataway: IEEE. S. 21-25

Abstract

The research community has developed numerous tools for solving verification problems, but we are missing a common web interface for executing them. This means, users have to commit to install and execute each new tool (version) on their local machine. We propose to use Coveriteam Service to make it easy for verification researchers to experiment with new verification tools. CoVeriteam has already unified the command-line interface, and reduced the burden by taking care of tool installation and isolated execution. The new web service in addition enables tool developers to make their tools accessible on the web and users to include verification tools in their work flow. There are already further applications of our service: The 2023 competitions on software verification and testing used the service for their integration testing, and we propose to use Coveriteam Service for incremental verification as part of a continuous-integration process. Demonstration video: https://youtu.be/0Ao0ZogSu1U Demonstration service: https://coveriteam-service.sosy-lab.org

• Dokumententyp: Konferenzbeitrag (Paper)
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISBN: 979-8-3503-2263-7 ; 979-8-3503-2264-4
• Ort: Piscataway
• Sprache: Englisch