1128 search results - page 81 / 226 » Little Engines of Proof |
164
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
159
click to vote
TASE
2007
IEEE
16 years 21 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
182
click to vote
VMCAI
2007
Springer
16 years 16 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 15 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...
138
click to vote
ICSM
2006
IEEE
16 years 14 days ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...