1782 search results - page 16 / 357 » Tool Support for Proof Engineering |
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...
ICSE
2000
IEEE-ACM
14 years 6 days ago
2000
IEEE-ACM
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
FSTTCS
2003
Springer
14 years 1 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
WCRE
1999
IEEE
14 years 27 days ago
1999
IEEE
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...