4036 search results - page 181 / 808 » Formal Methods |
165
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
150
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
146
Voted
SAS
2010
Springer
15 years 4 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
163
click to vote
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
158
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...