Work

Correctness witnesses: exchanging verification results between verifiers

Year: 2016

Type: conference-paper

Source: ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

DOI: 10.1145/2950290.2950351

Authors: Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Institutions: Ludwig-Maximilians-Universität München, University of Passau, University of Freiburg

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2548985278

FWCI: 5.744

Cites: 30

Cited by: 93

Related to: 10