Search Sciweavers | Sciweavers

526 search results - page 5 / 106

» Towards the Verifying Compiler

123

Voted

SBMF
2009
Springer

105views Formal Methods» more SBMF 2009»

Verifying Compiled File System Code

15 years 10 months ago

Download www-users.cs.york.ac.uk

Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...

Jan Tobias Mühlberg, Gerald Lüttgen

claim paper

Read More »

100

Voted

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

15 years 9 months ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

103

Voted

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 8 months ago

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

15 years 8 months ago

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

click to vote

JAR
2010

83views more JAR 2010»

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers