Search Sciweavers | Sciweavers

2488 search results - page 57 / 498

» An improvement in formal verification

click to vote

ISICT
2003

165views Information Technology» more ISICT 2003»

On the automated implementation of modal logics used to verify security protocols

13 years 11 months ago

Download www.ece.ul.ie

: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...

Tom Coffey, Reiner Dojen, Tomas Flanagan

claim paper

Read More »

click to vote

FTRTFT
1992
Springer

128views Formal Methods» more FTRTFT 1992»

Specification and Verification of Real-Time Behaviour Using Z and RTL

14 years 2 months ago

Download sky.fit.qut.edu.au

Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...

Colin J. Fidge

claim paper

Read More »

click to vote

FM
2009
Springer

134views Formal Methods» more FM 2009»

Partial Order Reductions Using Compositional Confluence Detection

13 years 7 months ago

Download hal.archives-ouvertes.fr

Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...

Frédéric Lang, Radu Mateescu

claim paper

Read More »

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

14 years 4 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »