Work

System Verification through Program Verification

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

Parent work: FM 2011: Formal Methods

DOI: 10.1007/978-3-642-21437-0_5

Authors: Daniel Dietsch, Bernd Westphal, Andreas Podelski

Institution: University of Freiburg

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W82278062

FWCI: 0.242

Cites: 33

Cited by: 1

Related to: 10