Search Sciweavers | Sciweavers

2488 search results - page 50 / 498

» An improvement in formal verification

click to vote

APSEC
2001
IEEE

111views Software Engineering» more APSEC 2001»

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks

14 years 1 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Mi...

claim paper

Read More »

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

14 years 1 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

14 years 1 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

click to vote

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

14 years 1 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

115views Hardware» more ASPDAC 2005»

Automatic assume guarantee analysis for assertion-based formal verification

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers