1782 search results - page 12 / 357 » Tool Support for Proof Engineering |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
CRYPTO
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...