4036 search results - page 387 / 808 » Formal Methods |
164
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
141
Voted
FMCO
2007
Springer
16 years 29 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
208
click to vote
FMCO
2007
Springer
16 years 29 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
163
click to vote
FMCO
2007
Springer
16 years 29 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
199
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...