1356 search results - page 123 / 272 » The ideal of verified software |
182
click to vote
VMCAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
158
click to vote
ASWEC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
130
click to vote
IEEECIT
2006
IEEE
16 years 13 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
165
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
155
click to vote
ADAEUROPE
2005
Springer
15 years 12 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...