Categories |
VERIFICATION
FORMAL METHODS
SOFTWARE TESTING
|
Call for Papers |
Scope of Workshop
Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take the form of black-box combinations, exchanging information via externally stored data, or of tightly integrated white-box combinations. Such combinations might include different specific verification techniques as well as combinations of verification with testing or other means of software analysis. Possible topics of the workshop are: Combining testing and verification Combining theorem proving and testing or verification Selection of components in a cooperative verification Interfaces and exchange formats Modularization of existing approaches Portfolio approaches Languages for specifying cooperation Call for Abstracts We welcome all sorts of talks, ranging from new ideas over work in progress to mature (possibly already published) approaches. The main objective of the workshop is to discuss ideas for cooperative verification. There will be no proceedings. Researchers wishing to give a talk should submit a short abstract (of length between half a page and 2 pages) at Easychair. The abstracts will be reviewed with respect to their fit to the workshop topic. |
Summary |
COOP 2022 : 3rd Workshop on Cooperative Software Verification will take place in virtual. It’s a 1 day event starting on Apr 3, 2022 (Sunday) and will be winded up on Apr 3, 2022 (Sunday). COOP 2022 falls under the following areas: VERIFICATION, FORMAL METHODS, SOFTWARE TESTING, etc. Submissions for this Workshop can be made by Feb 15, 2022. Authors can expect the result of submission by Mar 1, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 1, 2022 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the COOP 2022
|
Credits and Sources |
[1] COOP 2022 : 3rd Workshop on Cooperative Software Verification |