Search Sciweavers | Sciweavers

4340 search results - page 73 / 868

» Formal Methods and Cryptography

129

click to vote

FMCAD
2009
Springer

100views Formal Methods» more FMCAD 2009»

Protocol verification using flows: An industrial experience

16 years 23 days ago

Download fmv.jku.at

John W. O'Leary, Murali Talupur, Mark R. Tuttle

claim paper

Read More »

137

click to vote

FMCAD
2009
Springer

155views Formal Methods» more FMCAD 2009»

MCC: A runtime verification tool for MCAPI user applications

16 years 23 days ago

Download fmv.jku.at

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer,...

claim paper

Read More »

123

click to vote

SAS
2007
Springer

132views Formal Methods» more SAS 2007»

Abstract Error Projection

16 years 9 days ago

Download www.cs.wisc.edu

Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir ...

claim paper

Read More »

152

click to vote

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

15 years 11 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

103

click to vote

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers