1128 search results - page 81 / 226 » Little Engines of Proof |
SEFM
2007
IEEE
15 years 4 months 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...
TASE
2007
IEEE
15 years 4 months 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 ...
VMCAI
2007
Springer
15 years 3 months 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 ...
ASWEC
2006
IEEE
15 years 3 months 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...
ICSM
2006
IEEE
15 years 3 months 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...