Search Sciweavers | Sciweavers

1129 search results - page 41 / 226

» Formal Verification of Websites

155

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 10 months ago

Download www4.comp.polyu.edu.hk

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

claim paper

Read More »

157

click to vote

EURODAC
1994
IEEE

159views VHDL» more EURODAC 1994»

Formal verification of behavioral VHDL specifications: a case study

15 years 10 months ago

Download www.cecs.uci.edu

Felix Nicoli, Laurence Pierre

claim paper

Read More »

118

click to vote

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

15 years 10 months ago

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

126

click to vote

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

15 years 10 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 »

100

click to vote

ICCAD
1990
IEEE

51views Hardware» more ICCAD 1990»

A Unified Framework for the Formal Verification of Sequential Circuits

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers