Search Sciweavers | Sciweavers

526 search results - page 5 / 106

» Towards the Verifying Compiler

click to vote

SBMF
2009
Springer

105views Formal Methods» more SBMF 2009»

Verifying Compiled File System Code

14 years 4 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 »

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

14 years 3 months ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

14 years 3 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

14 years 3 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers