Search Sciweavers | Sciweavers

10568 search results - page 102 / 2114

» Computer Intelligence and Formalization

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

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

15 years 1 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

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

14 years 12 months ago

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

click to vote

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

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

14 years 11 months ago

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

click to vote

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?

14 years 11 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

click to vote

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers