8828 search results - page 186 / 1766 » Formal methods in practice |
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
145
Voted
ISW
2000
Springer
15 years 8 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
151
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
158
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
230
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...