2024
DOI: 10.1007/978-3-031-65630-9_1
|View full text |Cite
|
Sign up to set email alerts
|

The VerCors Verifier: A Progress Report

Lukas Armborst,
Pieter Bos,
Lars B. van den Haak
et al.

Abstract: This paper gives an overview of the most recent developments on the VerCors verifier. VerCors is a deductive verifier for concurrent software, written in multiple programming languages, where the specifications are written in terms of pre-/postcondition contracts using permission-based separation logic. In essence, VerCors is a program transformation tool: it translates an annotated program into input for the Viper framework, which is then used as verification back-end. The paper discusses the different progra… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
4

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
references
References 47 publications
0
0
0
Order By: Relevance