Sciweavers

5255 search results - page 149 / 1051

» Formal Methods for Privacy

141

IFL
2003
Springer

85views Formal Methods» more IFL 2003»

Lazy Assertions

15 years 11 months ago

Lazy Assertions

Download www.cs.kent.ac.uk

Olaf Chitil, Dan McNeill, Colin Runciman

claim paper

Read More »

120

FMCAD
2009
Springer

87views Formal Methods» more FMCAD 2009»

Hardware/software co-verification of cryptographic algorithms using Cryptol

15 years 11 months ago

Hardware/software co-verification of cryptographic algorithms using Cryptol

Download fmv.jku.at

Levent Erkök, Magnus Carlsson, Adam Wick

claim paper

Read More »

134

TFM
2009
Springer

128views Formal Methods» more TFM 2009»

How to Explain Mistakes

15 years 11 months ago

How to Explain Mistakes

Download www3.di.uminho.pt

Stefan Hallerstede, Michael Leuschel

claim paper

Read More »

148

MPC
1998
Springer

140views Mathematics» more MPC 1998»

A Set-Theoretic Model for Real-Time Specification and Reasoning

15 years 10 months ago

A Set-Theoretic Model for Real-Time Specification and Reasoning

Download sky.fit.qut.edu.au

Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...

Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...

claim paper

Read More »

142

FOCM
2011

80views more FOCM 2011»

The Serendipity Family of Finite Elements

14 years 9 months ago

The Serendipity Family of Finite Elements

Download www.ima.umn.edu

Douglas N. Arnold, Gerard Awanou

claim paper

Read More »

« Prev « First page 149 / 1051 Last » Next »