Search Sciweavers | Sciweavers

1129 search results - page 41 / 226

» Formal Verification of Websites

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 4 months ago

Download www4.comp.polyu.edu.hk

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

159views VHDL» more EURODAC 1994»

Formal verification of behavioral VHDL specifications: a case study

15 years 4 months ago

Download www.cecs.uci.edu

Felix Nicoli, Laurence Pierre

claim paper

Read More »

click to vote

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

15 years 4 months ago

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

click to vote

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

15 years 3 months ago

Download www.cs.cmu.edu

Ternary system modeling involves extending the traditional set of binary values

Randal E. Bryant, Carl-Johan H. Seger

claim paper

Read More »

click to vote

ICCAD
1990
IEEE

51views Hardware» more ICCAD 1990»

A Unified Framework for the Formal Verification of Sequential Circuits

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers