Search Sciweavers | Sciweavers

1129 search results - page 43 / 226

» Formal Verification of Websites

120

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

15 years 10 months ago

Download www.cl.cam.ac.uk

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

141

click to vote

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

15 years 10 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

118

click to vote

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 9 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

120

click to vote

ASPDAC
2005
ACM

115views Hardware» more ASPDAC 2005»

Automatic assume guarantee analysis for assertion-based formal verification

15 years 8 months ago

Download www-2.cs.cmu.edu

Dong Wang, Jeremy R. Levitt

claim paper

Read More »

129

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers