Search Sciweavers | Sciweavers

1129 search results - page 6 / 226

» Formal Verification of Websites

155

click to vote

FORTE
1994

103views Formal Methods» more FORTE 1994»

Proving the value of formal methods

15 years 7 months ago

Download spinroot.com

The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...

Gerard J. Holzmann

claim paper

Read More »

164

click to vote

FMCAD
2009
Springer

151views Formal Methods» more FMCAD 2009»

Formal verification of correctness and performance of random priority-based arbiters

16 years 15 days ago

Download fmv.jku.at

Krishnan Kailas, Viresh Paruthi, Brian Monwai

claim paper

Read More »

156

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

16 years 16 days ago

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

146

click to vote

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

16 years 15 days ago

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

140

click to vote

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers