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

15 years 9 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

15 years 9 months ago

Download fmv.jku.at

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

claim paper

Read More »

109

click to vote

FMCAD
2009
Springer

155views Formal Methods» more FMCAD 2009»

MCC: A runtime verification tool for MCAPI user applications

15 years 9 months ago

Download fmv.jku.at

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

claim paper

Read More »

116

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

15 years 7 months ago

Download webdocs.cs.ualberta.ca

Xin Li, H. James Hoover, Piotr Rudnicki

claim paper

Read More »

103

click to vote

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers