1222 search results - page 149 / 245 » Verifying a File System Implementation |
115
click to vote
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
106
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
89
Voted
FM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
133
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
132
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
—This paper introduces a simple algorithm for non-prehensile object transportation by a pushing robot on a flat surface. We assume that the global position and orientation of the...