Search Sciweavers | Sciweavers

1129 search results - page 43 / 226

» Formal Verification of Websites

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

15 years 3 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

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 3 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

Voted

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 3 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

Voted

ASPDAC
2005
ACM

115views Hardware» more ASPDAC 2005»

Automatic assume guarantee analysis for assertion-based formal verification

15 years 1 months ago

Download www-2.cs.cmu.edu

Dong Wang, Jeremy R. Levitt

claim paper

Read More »

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers