Sciweavers

10568 search results - page 102 / 2114

» Computer Intelligence and Formalization

91

Voted

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

15 years 6 months ago

A Formalization of the Strong Normalization Proof for System F in LEGO

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

92

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

15 years 4 months ago

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

88

Voted

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

Streamline verification process with formal property verification to meet highly compressed design cycle

15 years 4 months ago

Streamline verification process with formal property verification to meet highly compressed design cycle

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

92

Voted

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

Can we really do without the support of formal methods in the verification of large designs?

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

104

Voted

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

15 years 4 months ago

Formal verification: is it real enough?

Download www.cecs.uci.edu

Yaron Wolfsthal, Rebecca M. Gott

claim paper

Read More »

« Prev « First page 102 / 2114 Last » Next »