Search Sciweavers | Sciweavers

1219 search results - page 24 / 244

» Verification of Equivalent-Results Methods

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Enhanced verification by temporal decomposition

14 years 2 months ago

Download fmv.jku.at

Michael L. Case, Hari Mony, Jason Baumgartner, Rob...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

100views Formal Methods» more FMCAD 2009»

Protocol verification using flows: An industrial experience

14 years 2 months ago

Download fmv.jku.at

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

claim paper

Read More »

click to vote

FMCAD
2009
Springer

155views Formal Methods» more FMCAD 2009»

MCC: A runtime verification tool for MCAPI user applications

14 years 2 months ago

Download fmv.jku.at

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

claim paper

Read More »

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

13 years 11 months ago

Download webdocs.cs.ualberta.ca

Xin Li, H. James Hoover, Piotr Rudnicki

claim paper

Read More »

click to vote

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers