94
Voted
FM
2008
Springer
15 years 13 days ago
2008
Springer
100
Voted
FM
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
89
Voted
FM
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
64
Voted
FM
2008
Springer
15 years 13 days ago
2008
Springer
Modal
169
Voted
AGTIVE
2007
Springer
15 years 21 days ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
95
Voted
ASM
2010
ASM
15 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
SAS
1994
Springer
15 years 2 months ago
1994
Springer
SAS
1994
Springer
15 years 2 months ago
1994
Springer
101
click to vote
ZUM
1991
Springer
15 years 2 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
130
Voted
SAS
1991
Springer
15 years 2 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...