Search Sciweavers | Sciweavers

1129 search results - page 38 / 226

» Formal Verification of Websites

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 4 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

PRDC
2002
IEEE

97views Applied Computing» more PRDC 2002»

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method

15 years 4 months ago

Download www.async.ece.utah.edu

Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric ...

claim paper

Read More »

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

15 years 4 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

click to vote

ASYNC
2000
IEEE

94views Hardware» more ASYNC 2000»

Formal Verification of Safety Properties in Timed Circuits

15 years 4 months ago

Download personals.ac.upc.edu

Marco A. Peña, Jordi Cortadella, Enric Past...

claim paper

Read More »

click to vote

GLVLSI
2000
IEEE

83views VLSI» more GLVLSI 2000»

Formal hardware verification by integrating HOL and MDG

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers